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