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