基于模型检查技术的信息系统生存性研究

检索

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

许秀林;胡克瑾

Research on Survivability of Information System Based on Model Checking Technology

XU Xiu-lin; HU Ke-jin

计算机工程 . 2009, (21): 74 -77 . DOI: 10.3969/j.issn.1000-3428.2009.21.025