| |
2017年第28卷第5期目录
本期目录 | | | 软件非功能需求权衡代价 | | | 张璇,王旭,李彤,白川,康燕妮 | | | 2017,28(5):1247-1270 | | | [摘要](3984) [PDF 2.02 M](6686) | | | 基于分层抽样的重叠深网数据源选择 | | | 江俊彦,彭智勇,吴小莹,彭承晨,王敏 | | | 2017,28(5):1271-1295 | | | [摘要](3608) [PDF 2.01 M](5150) | | | 一种IP网络拥塞链路丢包率范围推断算法 | | | 陈宇,周巍,段哲民,钱叶魁,赵鑫 | | | 2017,28(5):1296-1314 | | | [摘要](3346) [PDF 888.88 K](5660) | | | 基于共享内存的智能无人车进程间消息异步传输机制 | | | 陈存铜,赵君峤,叶晨,邓蓉,管林挺,李德毅 | | | 2017,28(5):1315-1325 | | | [摘要](4410) [PDF 2.34 M](9388) | |
专刊文章 | | | 形式化方法与应用专题前言 | | | 董威,赵建华,吕鸣松 | | | 2017,28(5):1049-1050 | | | [摘要](4100) [PDF 353.21 K](8671) | | | 常用循环摘要的自动生成方法及其应用 | | | 翟娟,汤震浩,李彬,赵建华,李宣东 | | | 2017,28(5):1051-1069 | | | [摘要](4959) [PDF 1.07 M](7766) | | | 正则模型类的时态可定义性 | | | 王善侠,马明辉,陈武,邓辉文 | | | 2017,28(5):1070-1079 | | | [摘要](4415) [PDF 615.63 K](7285) | | | 异步多进程时间自动机的可覆盖性问题 | | | 刘立,李国强 | | | 2017,28(5):1080-1090 | | | [摘要](4394) [PDF 627.50 K](7774) | | | 不确定观测下离散事件系统的可诊断性 | | | 文习明,余泉,常亮,王驹 | | | 2017,28(5):1091-1106 | | | [摘要](4754) [PDF 898.71 K](7907) | | | 面向收敛的并发程序执行轨迹静态简化方法 | | | 常曦,薛建新,张卓,毛晓光 | | | 2017,28(5):1107-1117 | | | [摘要](4785) [PDF 684.44 K](6704) | | | 多机器人路径规划的安全性验证 | | | 刘涛,王淑灵,詹乃军 | | | 2017,28(5):1118-1127 | | | [摘要](5406) [PDF 587.08 K](7974) | | | 一种面向CPS的自适应统计模型检测方法 | | | 杜德慧,昝慧,姜凯强,程贝 | | | 2017,28(5):1128-1143 | | | [摘要](5049) [PDF 1.23 M](9285) | | | 一种面向CPS的控制应用程序协同验证方法 | | | 张雨,董云卫,冯文龙,黄梦醒 | | | 2017,28(5):1144-1166 | | | [摘要](5057) [PDF 1.03 M](9735) | | | 面向动作的上下文感知应用的规约与运行时验证 | | | 李晅松,陶先平,吕建,宋巍 | | | 2017,28(5):1167-1182 | | | [摘要](4994) [PDF 685.17 K](7792) | | | 基于通信的列车控制系统可信构造：形式化方法综述 | | | 陈铭松,鲍勇翔,孙海英,缪炜恺,陈小红,周庭梁 | | | 2017,28(5):1183-1203 | | | [摘要](5841) [PDF 923.66 K](13722) | | | 基于Event-B的航天器内存管理系统形式化验证 | | | 乔磊,杨孟飞,谭彦亮,蒲戈光,杨桦 | | | 2017,28(5):1204-1220 | | | [摘要](5113) [PDF 2.33 M](8784) | | | peC语言的部分求值器及在编译器测试中的应用 | | | 郭德贵,王冠成,吕帅,刘磊 | | | 2017,28(5):1221-1232 | | | [摘要](4522) [PDF 700.98 K](7465) | | | 可信编译器L2C的核心翻译步骤及其设计与实现 | | | 尚书,甘元科,石刚,王生原,董渊 | | | 2017,28(5):1233-1246 | | | [摘要](5088) [PDF 772.48 K](8456) | |
|
