L4进程间通信机制的模型检测方法

欢迎访问中国科学院大学学报，今天是

Email Alert RSS English

L4进程间通信机制的模型检测方法

高妍妍, 李曦, 周学海

Verification of the L4 IPC implementation

GAO Yan-Yan, LI Xi, ZHOU Xue-Hai

中国科学院大学学报 . 2011, (6): 786 -792 . DOI: 10.7523/j.issn.2095-6134.2011.6.012