Digital Library
Close Browse articles from a journal
 
<< previous    next >>
     Journal description
       All volumes of the corresponding journal
         All issues of the corresponding volume
           All articles of the corresponding issues
                                       Details for article 7 of 13 found articles
 
 
  A survey on formal specification and verification of separation kernels
 
 
Title: A survey on formal specification and verification of separation kernels
Author: Zhao, Yongwang
Yang, Zhibin
Ma, Dianfu
Appeared in: Frontiers of computer science
Paging: Volume 11 (2016) nr. 4 pages 585-607
Year: 2016
Contents:
Publisher: Higher Education Press, Beijing
Source file: Elektronische Wetenschappelijke Tijdschriften
 
 

                             Details for article 7 of 13 found articles
 
<< previous    next >>
 
 Koninklijke Bibliotheek - National Library of the Netherlands