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