Model-Driven Reconfiguration Information Verification for Safety-Critical Systems
HU Jun, MA Jinjing, LIU Xue, CHENG Zhen, SHI Jiaojie, HUANG Zhiqiu
Journal of Frontiers of Computer Science and Technology . 2015, (4): 385 -402 .  DOI: 10.3778/j.issn.1673-9418.1408014