Yongwang Zhao, David SanĂ¡n, Fuyuan Zhang, Yang Liu. Formal Specification and Analysis of Partitioning Operating Systems by Integrating Ontology and Refinement. IEEE Trans. Industrial Informatics, 12(4):1321-1331, 2016. [doi]
No references recorded for this publication.
No citations of this publication recorded.