模型驱动的嵌入式系统设计安全性验证方法研究

中国计算机学会会刊
中国科技核心期刊
中文核心期刊

模型驱动的嵌入式系统设计安全性验证方法研究

刘雪1,胡军1,2, 黄志球1,马金晶1,程桢1，石娇洁1

Research on model driven safety verification
for embedded system designs

LIU Xue1,HU Jun1,2,HUANG Zhiqiu1,MA Jinjing1,CHENG Zhen1,SHI Jiaojie1

计算机工程与科学 . 2015, (08): 1498 -1509 .