安全关键实时系统高可信集成技术的研究

杨仕平;熊光泽;桑楠

Research on High Dependability Integration Technology of Safety Critical Real Time Systems

YANG Shi-ping;XIONG Guang-ze;SANG Nan

电子学报 . 2003, (8): 1237 -1241 .