2018年第29卷第6期目录
服务组合安全隐私信息流静态分析方法彭焕峰,黄志球,刘林源,李勇,柯昌博2018,29(6):1739-1755 [摘要(3812)] [PDF(4350)1.76 M][HTML(990)]基于条件概率模型的缺陷定位方法舒挺,黄明献,丁佐华,王磊,夏劲松2018,29(6):1756-1769 [摘要(3522)] [PDF(4659)1.97 M][HTML(965)]基于包含度的子图匹配方法李瑞远,洪亮2018,29(6):1792-1812 [摘要(3500)] [PDF(5736)2.27 M][HTML(1186)]
形式化方法的理论基础专题前言傅育熙,李国强,田聪2018,29(6):1515-1516 [摘要(3132)] [PDF(4162)295.58 K][HTML(1651)]互模拟准局部验证算法的扩展与实现郑晓琳,邓玉欣,付辰,雷国庆2018,29(6):1517-1526 [摘要(3387)] [PDF(4412)1.03 M][HTML(1825)]自动分析递归数据结构的归纳性质汤震浩,李彬,翟娟,赵建华2018,29(6):1527-1543 [摘要(3494)] [PDF(4074)1.61 M][HTML(1805)]自动合成数组不变式李彬,翟娟,汤震浩,汤恩义,赵建华2018,29(6):1544-1565 [摘要(3859)] [PDF(3409)2.23 M][HTML(1786)]向量加法系统验证问题研究综述张文博,龙环2018,29(6):1566-1581 [摘要(3555)] [PDF(3768)1.71 M][HTML(1857)]异构多智能体系统模型检查张业迪,宋富2018,29(6):1582-1594 [摘要(3622)] [PDF(4205)1.36 M][HTML(1652)]基于SMT的时钟约束语言CCSL的形式化分析方法与工具应云辉,张民2018,29(6):1595-1606 [摘要(4128)] [PDF(4701)1.35 M][HTML(1880)]消息传递的MSVL通信机制及其实现王小兵,郭文轩,段振华2018,29(6):1607-1621 [摘要(3661)] [PDF(3977)2.01 M][HTML(1604)]普适计算应用时空性质的运行时验证李晅松,陶先平,宋巍2018,29(6):1622-1634 [摘要(3414)] [PDF(3930)1.47 M][HTML(2145)]APTL公式的可满足性检查工具王海洋,段振华,田聪2018,29(6):1635-1646 [摘要(3535)] [PDF(4007)1.31 M][HTML(1668)]基于类型理论的领域数据建模和验证及案例乌尼日其其格,李小平,马世龙,吕江花2018,29(6):1647-1669 [摘要(3538)] [PDF(4185)2.71 M][HTML(1619)]一种嵌套中断系统的建模和分析方法崔进,段振华,田聪,张南2018,29(6):1670-1680 [摘要(3406)] [PDF(3898)1.29 M][HTML(1720)]考虑中断和上下文切换开销的响应时间分析于广良,杨孟飞2018,29(6):1681-1698 [摘要(3430)] [PDF(5091)2.15 M][HTML(2398)]机器人关节通信总线系统的建模与验证孟瑶,李晓娟,关永,王瑞,张杰2018,29(6):1699-1715 [摘要(3752)] [PDF(5093)1.99 M][HTML(1878)]
API使用的关键问题研究李正,吴敬征,李明树2018,29(6):1716-1738 [摘要(4285)] [PDF(6427)2.41 M][HTML(3084)]MapReduce与Spark用于大数据分析之比较吴信东,嵇圣硙2018,29(6):1770-1791 [摘要(5812)] [PDF(9593)2.25 M][HTML(3042)]5G移动通信网络安全研究冯登国,徐静,兰晓2018,29(6):1813-1825 [摘要(5962)] [PDF(14297)1.55 M][HTML(2741)]