[IEEE 2015 2nd International Conference on Information Science and Control Engineering (ICISCE) - Shanghai, China (2015.4.24-2015.4.26)] 2015 2nd International Conference on Information Science and Control Engineering - SAFEBOX: A Verified Microkernel Based on Spatial-Temporal Isolation
Zhang, Fan, Su, Weining, Wang, Tianfang, Wang, XiaopengYear:
2015
Language:
english
DOI:
10.1109/ICISCE.2015.105
File:
PDF, 155 KB
english, 2015