Showing 1 - 2 results of 2 for search 'Zhang Fuyuan', query time: 0.02s
Refine Results
-
1
Refinement-based specification and security analysis of separation kernels by Zhao, Yongwang, Sanan, David, Zhang, Fuyuan, Liu, Yang
Published 2020
Journal Article -
2