基于模型检测的系统生存性分析

检索

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

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

基于模型检测的系统生存性分析

周清雷, 张兵, 席琳

System Survivability Analysis Based on Model Checking

ZHOU Qing-Lei, ZHANG Bing, XI Lin

计算机工程 . 2012, (17): 38 -41 . DOI: 10.3969/j.issn.1000-3428.2012.17.011