2015年第26卷第2期目录
一种状态事件故障树的时间特性分析方法徐丙凤,黄志球,胡军,魏欧,李伟湋2015,26(2):427-446 [摘要(4518)] [PDF(7132)1.06 M][HTML(1838)]
安全攸关软件系统建模与验证专题前言李宣东,刘超,毛晓光2015,26(2):179-180 [摘要(5826)] [PDF(7691)316.89 K][HTML(2336)]基于形式化方法的航空电子系统检测李睿,连航,马世龙,黎涛2015,26(2):181-201 [摘要(5812)] [PDF(8152)2.27 M][HTML(3014)]基于时间抽象状态机的AADL模型验证杨志斌,胡凯,赵永望,马殿富,Jean-Paul BODEVEIX2015,26(2):202-222 [摘要(6114)] [PDF(8419)1016.99 K][HTML(3341)]基于时间STM的软件形式化建模与验证方法侯刚,周宽久,常军旺,王洁,李明楚2015,26(2):223-238 [摘要(6647)] [PDF(8864)1.36 M][HTML(2857)]设备驱动程序可靠性和正确性保障方法与技术研究进展张一帆,黄超,欧建生,汤恩义,陈鑫2015,26(2):239-253 [摘要(5743)] [PDF(8144)730.53 K][HTML(3648)]基于数据链的软件故障定位方法杨波,吴际,刘超2015,26(2):254-268 [摘要(5740)] [PDF(8986)658.18 K][HTML(2908)]一种面向列车控制系统中安全攸关场景的测试用例自动生成方法陈鑫,姜鹏,张一帆,黄超,周岩2015,26(2):269-278 [摘要(5871)] [PDF(7937)631.75 K][HTML(2851)]多处理器实时系统可调度性分析的UPPAAL模型代声馨,洪玫,郭兵,杨秋辉,黄蔚,徐保平2015,26(2):279-296 [摘要(6250)] [PDF(9159)1.61 M][HTML(3349)]多分支单变量循环程序的终止性分析李轶,李传璨,吴文渊2015,26(2):297-304 [摘要(5426)] [PDF(7038)521.83 K][HTML(2835)]面向安全攸关系统中小概率事件的统计模型检测杜德慧,程贝,刘静2015,26(2):305-320 [摘要(6219)] [PDF(9513)892.15 K][HTML(3119)]面向航天嵌入式软件的形式化建模方法顾斌,董云卫,王政2015,26(2):321-331 [摘要(6540)] [PDF(8320)1.73 M][HTML(2794)]同步数据流语言高阶运算消去的可信翻译刘洋,甘元科,王生原,董渊,杨斐,石刚,闫鑫2015,26(2):332-347 [摘要(5873)] [PDF(7690)829.76 K][HTML(3199)]一种基于特征矩阵的软件脆弱性代码克隆检测方法甘水滔,秦晓军,陈左宁,王林章2015,26(2):348-363 [摘要(6191)] [PDF(8414)747.87 K][HTML()]一个机器检测的Micro-Dalvik虚拟机模型何炎祥,江南,李清安,张军,沈凡凡2015,26(2):364-379 [摘要(5708)] [PDF(7647)706.66 K][HTML(2850)]信息物理融合系统控制软件的统计模型检验单黎君,周兴社,王宇英,赵雷,万丽景,乔磊,陈建新2015,26(2):380-389 [摘要(6055)] [PDF(10116)847.67 K][HTML(2826)]
基于程序频谱的动态缺陷定位方法研究陈翔,鞠小林,文万志,顾庆2015,26(2):390-412 [摘要(9434)] [PDF(12107)843.69 K][HTML(4888)]整数漏洞研究:安全模型、检测方法和实例孙浩,曾庆凯2015,26(2):413-426 [摘要(7715)] [PDF(9536)614.68 K][HTML(4147)]
