2018年第29卷第6期目录
服务组合安全隐私信息流静态分析方法彭焕峰,黄志球,刘林源,李勇,柯昌博2018,29(6):1739-1755 [摘要(3811)] [PDF(4340)1.76 M][HTML(982)]基于条件概率模型的缺陷定位方法舒挺,黄明献,丁佐华,王磊,夏劲松2018,29(6):1756-1769 [摘要(3521)] [PDF(4649)1.97 M][HTML(958)]基于包含度的子图匹配方法李瑞远,洪亮2018,29(6):1792-1812 [摘要(3496)] [PDF(5717)2.27 M][HTML(1168)]
形式化方法的理论基础专题前言傅育熙,李国强,田聪2018,29(6):1515-1516 [摘要(3131)] [PDF(4147)295.58 K][HTML(1642)]互模拟准局部验证算法的扩展与实现郑晓琳,邓玉欣,付辰,雷国庆2018,29(6):1517-1526 [摘要(3384)] [PDF(4400)1.03 M][HTML(1814)]自动分析递归数据结构的归纳性质汤震浩,李彬,翟娟,赵建华2018,29(6):1527-1543 [摘要(3493)] [PDF(4047)1.61 M][HTML(1787)]自动合成数组不变式李彬,翟娟,汤震浩,汤恩义,赵建华2018,29(6):1544-1565 [摘要(3859)] [PDF(3395)2.23 M][HTML(1780)]向量加法系统验证问题研究综述张文博,龙环2018,29(6):1566-1581 [摘要(3554)] [PDF(3755)1.71 M][HTML(1827)]异构多智能体系统模型检查张业迪,宋富2018,29(6):1582-1594 [摘要(3618)] [PDF(4183)1.36 M][HTML(1644)]基于SMT的时钟约束语言CCSL的形式化分析方法与工具应云辉,张民2018,29(6):1595-1606 [摘要(4124)] [PDF(4684)1.35 M][HTML(1868)]消息传递的MSVL通信机制及其实现王小兵,郭文轩,段振华2018,29(6):1607-1621 [摘要(3659)] [PDF(3961)2.01 M][HTML(1596)]普适计算应用时空性质的运行时验证李晅松,陶先平,宋巍2018,29(6):1622-1634 [摘要(3413)] [PDF(3920)1.47 M][HTML(2129)]APTL公式的可满足性检查工具王海洋,段振华,田聪2018,29(6):1635-1646 [摘要(3535)] [PDF(3991)1.31 M][HTML(1660)]基于类型理论的领域数据建模和验证及案例乌尼日其其格,李小平,马世龙,吕江花2018,29(6):1647-1669 [摘要(3535)] [PDF(4175)2.71 M][HTML(1613)]一种嵌套中断系统的建模和分析方法崔进,段振华,田聪,张南2018,29(6):1670-1680 [摘要(3403)] [PDF(3882)1.29 M][HTML(1706)]考虑中断和上下文切换开销的响应时间分析于广良,杨孟飞2018,29(6):1681-1698 [摘要(3429)] [PDF(5072)2.15 M][HTML(2380)]机器人关节通信总线系统的建模与验证孟瑶,李晓娟,关永,王瑞,张杰2018,29(6):1699-1715 [摘要(3751)] [PDF(5071)1.99 M][HTML(1867)]
API使用的关键问题研究李正,吴敬征,李明树2018,29(6):1716-1738 [摘要(4281)] [PDF(6398)2.41 M][HTML(3027)]MapReduce与Spark用于大数据分析之比较吴信东,嵇圣硙2018,29(6):1770-1791 [摘要(5808)] [PDF(9566)2.25 M][HTML(2999)]5G移动通信网络安全研究冯登国,徐静,兰晓2018,29(6):1813-1825 [摘要(5956)] [PDF(14256)1.55 M][HTML(2717)]