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