2018年第29卷第6期目录
服务组合安全隐私信息流静态分析方法彭焕峰,黄志球,刘林源,李勇,柯昌博2018,29(6):1739-1755 [摘要(4124)] [PDF(5403)1.76 M][HTML(1845)]基于条件概率模型的缺陷定位方法舒挺,黄明献,丁佐华,王磊,夏劲松2018,29(6):1756-1769 [摘要(3635)] [PDF(5796)1.97 M][HTML(1824)]基于包含度的子图匹配方法李瑞远,洪亮2018,29(6):1792-1812 [摘要(3708)] [PDF(7604)2.27 M][HTML(2606)]
形式化方法的理论基础专题前言傅育熙,李国强,田聪2018,29(6):1515-1516 [摘要(3329)] [PDF(6758)295.58 K][HTML(3223)]互模拟准局部验证算法的扩展与实现郑晓琳,邓玉欣,付辰,雷国庆2018,29(6):1517-1526 [摘要(3551)] [PDF(6604)1.03 M][HTML(3270)]自动分析递归数据结构的归纳性质汤震浩,李彬,翟娟,赵建华2018,29(6):1527-1543 [摘要(3643)] [PDF(7648)1.61 M][HTML(3506)]自动合成数组不变式李彬,翟娟,汤震浩,汤恩义,赵建华2018,29(6):1544-1565 [摘要(3977)] [PDF(5341)2.23 M][HTML(3242)]向量加法系统验证问题研究综述张文博,龙环2018,29(6):1566-1581 [摘要(3733)] [PDF(5910)1.71 M][HTML(4030)]异构多智能体系统模型检查张业迪,宋富2018,29(6):1582-1594 [摘要(3886)] [PDF(6346)1.36 M][HTML(3332)]基于SMT的时钟约束语言CCSL的形式化分析方法与工具应云辉,张民2018,29(6):1595-1606 [摘要(4303)] [PDF(6770)1.35 M][HTML(3600)]消息传递的MSVL通信机制及其实现王小兵,郭文轩,段振华2018,29(6):1607-1621 [摘要(3872)] [PDF(6363)2.01 M][HTML(3131)]普适计算应用时空性质的运行时验证李晅松,陶先平,宋巍2018,29(6):1622-1634 [摘要(3653)] [PDF(6155)1.47 M][HTML(3914)]APTL公式的可满足性检查工具王海洋,段振华,田聪2018,29(6):1635-1646 [摘要(3725)] [PDF(6003)1.31 M][HTML(3208)]基于类型理论的领域数据建模和验证及案例乌尼日其其格,李小平,马世龙,吕江花2018,29(6):1647-1669 [摘要(3749)] [PDF(6472)2.71 M][HTML(3110)]一种嵌套中断系统的建模和分析方法崔进,段振华,田聪,张南2018,29(6):1670-1680 [摘要(3652)] [PDF(6775)1.29 M][HTML(3400)]考虑中断和上下文切换开销的响应时间分析于广良,杨孟飞2018,29(6):1681-1698 [摘要(3560)] [PDF(7724)2.15 M][HTML(4019)]机器人关节通信总线系统的建模与验证孟瑶,李晓娟,关永,王瑞,张杰2018,29(6):1699-1715 [摘要(3936)] [PDF(7274)1.99 M][HTML(3741)]
API使用的关键问题研究李正,吴敬征,李明树2018,29(6):1716-1738 [摘要(4537)] [PDF(10308)2.41 M][HTML(5937)]MapReduce与Spark用于大数据分析之比较吴信东,嵇圣硙2018,29(6):1770-1791 [摘要(6290)] [PDF(14785)2.25 M][HTML(4857)]5G移动通信网络安全研究冯登国,徐静,兰晓2018,29(6):1813-1825 [摘要(6452)] [PDF(18484)1.55 M][HTML(4953)]
