| |
2015年第26卷第2期目录
本期目录 专刊文章 | | | 安全攸关软件系统建模与验证专题前言 | | | 李宣东,刘超,毛晓光 | | | 2015,26(2):179-180 [摘要(5726)] [PDF 316.89 K (6642)] | | | | | 基于形式化方法的航空电子系统检测 | | | 李睿,连航,马世龙,黎涛 | | | 2015,26(2):181-201 [摘要(5725)] [PDF 2.27 M (7026)] | | | | | 基于时间抽象状态机的AADL模型验证 | | | 杨志斌,胡凯,赵永望,马殿富,Jean-Paul BODEVEIX | | | 2015,26(2):202-222 [摘要(5977)] [PDF 1016.99 K (7375)] | | | | | 基于时间STM的软件形式化建模与验证方法 | | | 侯刚,周宽久,常军旺,王洁,李明楚 | | | 2015,26(2):223-238 [摘要(6505)] [PDF 1.36 M (7573)] | | | | | 设备驱动程序可靠性和正确性保障方法与技术研究进展 | | | 张一帆,黄超,欧建生,汤恩义,陈鑫 | | | 2015,26(2):239-253 [摘要(5664)] [PDF 730.53 K (6997)] | | | | | 基于数据链的软件故障定位方法 | | | 杨波,吴际,刘超 | | | 2015,26(2):254-268 [摘要(5614)] [PDF 658.18 K (7951)] | | | | | 一种面向列车控制系统中安全攸关场景的测试用例自动生成方法 | | | 陈鑫,姜鹏,张一帆,黄超,周岩 | | | 2015,26(2):269-278 [摘要(5760)] [PDF 631.75 K (6862)] | | | | | 多处理器实时系统可调度性分析的UPPAAL模型 | | | 代声馨,洪玫,郭兵,杨秋辉,黄蔚,徐保平 | | | 2015,26(2):279-296 [摘要(6130)] [PDF 1.61 M (7919)] | | | | | 多分支单变量循环程序的终止性分析 | | | 李轶,李传璨,吴文渊 | | | 2015,26(2):297-304 [摘要(5344)] [PDF 521.83 K (6025)] | | | | | 面向安全攸关系统中小概率事件的统计模型检测 | | | 杜德慧,程贝,刘静 | | | 2015,26(2):305-320 [摘要(6119)] [PDF 892.15 K (8224)] | | | | | 面向航天嵌入式软件的形式化建模方法 | | | 顾斌,董云卫,王政 | | | 2015,26(2):321-331 [摘要(6399)] [PDF 1.73 M (7228)] | | | | | 同步数据流语言高阶运算消去的可信翻译 | | | 刘洋,甘元科,王生原,董渊,杨斐,石刚,闫鑫 | | | 2015,26(2):332-347 [摘要(5780)] [PDF 829.76 K (6636)] | | | | | 一种基于特征矩阵的软件脆弱性代码克隆检测方法 | | | 甘水滔,秦晓军,陈左宁,王林章 | | | 2015,26(2):348-363 [摘要(6084)] [PDF 747.87 K (7405)] | | | | | 一个机器检测的Micro-Dalvik虚拟机模型 | | | 何炎祥,江南,李清安,张军,沈凡凡 | | | 2015,26(2):364-379 [摘要(5610)] [PDF 706.66 K (6554)] | | | | | 信息物理融合系统控制软件的统计模型检验 | | | 单黎君,周兴社,王宇英,赵雷,万丽景,乔磊,陈建新 | | | 2015,26(2):380-389 [摘要(5948)] [PDF 847.67 K (9081)] | | | |
综述文章
|
