MA Zhi
Beijing Institute of Control Engineering, Beijing 100190, ChinaQIAO Lei
Beijing Institute of Control Engineering, Beijing 100190, China;State Key Laboratory of Computer Science (Institute of Software, Chinese Academy of Sciences), Beijing 100190, ChinaYANG Meng-Fei
China Academy of Space Technology, Beijing 100094, ChinaLI Shao-Feng
Beijing Institute of Control Engineering, Beijing 100190, China;School of Computer Science and Technology, Xidian University, Xian 710071, ChinaNational Natural Science Foundation of China (61632005, 61802017, 62032004); Open project of State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences (SYSKF1804)
马智,乔磊,杨孟飞,李少峰.面向SPARC处理器架构的操作系统异常管理验证.软件学报,2021,32(6):1631-1646
Copy