模型驱动的安全关键系统重配置信息验证方法
胡军,马金晶,刘雪,程桢,石娇洁,黄志球
Model-Driven Reconfiguration Information Verification for Safety-Critical Systems
HU Jun, MA Jinjing, LIU Xue, CHENG Zhen, SHI Jiaojie, HUANG Zhiqiu
计算机科学与探索
.
2015, (4): 385
-402
.
DOI: 10.3778/j.issn.1673-9418.1408014