| |
2016年第27卷第3期目录
本期目录 专刊文章 | | | 软件形式化方法与应用专题前言 | | | 詹乃军,王戟,李宣东 | | | 2016,27(3):495-496 [摘要(4717)] [PDF 364.87 K (5204)] | | | | | 几何代数的高阶逻辑形式化 | | | 马莎,施智平,李黎明,关永,张杰,Xiaoyu SONG | | | 2016,27(3):497-516 [摘要(5621)] [PDF 476.76 K (6229)] | | | | | 有界闭连通域上的非线性循环终止性分析 | | | 李轶,冯勇 | | | 2016,27(3):517-526 [摘要(4967)] [PDF 1.11 M (4067)] | | | | | 城市交通网络信号控制系统的实时演算模型 | | | 孙景昊,关楠,邓庆绪,张鑫,杨丰源 | | | 2016,27(3):527-546 [摘要(4841)] [PDF 3.09 M (5048)] | | | | | 基于变量访问序模式的中断数据竞争检测方法 | | | 陈睿,杨孟飞,郭向英 | | | 2016,27(3):547-561 [摘要(4886)] [PDF 1.69 M (6010)] | | | | | 安全苛刻系统测试语言中的测试设备协同语句 | | | 吕江花,高世伟,马世龙,孙波,李先军 | | | 2016,27(3):562-579 [摘要(4501)] [PDF 1.93 M (4595)] | | | | | 基于模拟关系的精化检测方法 | | | 王婷,陈铁明,刘杨 | | | 2016,27(3):580-592 [摘要(4761)] [PDF 1.44 M (4286)] | | | | | 面向条件判定覆盖的线性拟合制导测试生成 | | | 汤恩义,周岩,欧建生,陈鑫 | | | 2016,27(3):593-610 [摘要(4729)] [PDF 2.13 M (6098)] | | | | | 同步语言的时间可预测多线程代码生成方法 | | | 杨志斌,赵永望,黄志球,胡凯,马殿富,Jean-Paul BODEVEIX,Mamoun FILALI | | | 2016,27(3):611-632 [摘要(4776)] [PDF 2.35 M (5103)] | | | | | 面向方面设计中干涉问题的分析工具 | | | 陈鑫,黄超,张一帆,梅一鸣 | | | 2016,27(3):633-644 [摘要(4631)] [PDF 1.41 M (4390)] | | | | | 运用栅栏函数验证连续系统的有界时间安全性 | | | 甘庭,夏壁灿 | | | 2016,27(3):645-654 [摘要(4959)] [PDF 1.20 M (4611)] | | | | | 不确定环境下智能大厦空调系统调度策略评估 | | | 陈铭松,顾璠,徐思远,陈小红 | | | 2016,27(3):655-669 [摘要(5019)] [PDF 3.01 M (5472)] | | | | | 二维逻辑PPTLSL的可满足性检查 | | | 陆旭,段振华,田聪 | | | 2016,27(3):670-681 [摘要(4971)] [PDF 1.37 M (4433)] | | | | | 面向无穷数据的形式模型综述 | | | 宋富,吴志林 | | | 2016,27(3):682-690 [摘要(5183)] [PDF 1.04 M (4696)] | | | |
综述文章
|
