2018年第29卷第6期目录
服务组合安全隐私信息流静态分析方法彭焕峰,黄志球,刘林源,李勇,柯昌博2018,29(6):1739-1755 [摘要(3893)] [PDF(5005)1.76 M][HTML(1332)]基于条件概率模型的缺陷定位方法舒挺,黄明献,丁佐华,王磊,夏劲松2018,29(6):1756-1769 [摘要(3595)] [PDF(5375)1.97 M][HTML(1345)]基于包含度的子图匹配方法李瑞远,洪亮2018,29(6):1792-1812 [摘要(3625)] [PDF(6639)2.27 M][HTML(1783)]
形式化方法的理论基础专题前言傅育熙,李国强,田聪2018,29(6):1515-1516 [摘要(3219)] [PDF(5918)295.58 K][HTML(2522)]互模拟准局部验证算法的扩展与实现郑晓琳,邓玉欣,付辰,雷国庆2018,29(6):1517-1526 [摘要(3457)] [PDF(5613)1.03 M][HTML(2664)]自动分析递归数据结构的归纳性质汤震浩,李彬,翟娟,赵建华2018,29(6):1527-1543 [摘要(3569)] [PDF(5363)1.61 M][HTML(2695)]自动合成数组不变式李彬,翟娟,汤震浩,汤恩义,赵建华2018,29(6):1544-1565 [摘要(3921)] [PDF(4455)2.23 M][HTML(2644)]向量加法系统验证问题研究综述张文博,龙环2018,29(6):1566-1581 [摘要(3647)] [PDF(5033)1.71 M][HTML(3019)]异构多智能体系统模型检查张业迪,宋富2018,29(6):1582-1594 [摘要(3764)] [PDF(5578)1.36 M][HTML(2603)]基于SMT的时钟约束语言CCSL的形式化分析方法与工具应云辉,张民2018,29(6):1595-1606 [摘要(4213)] [PDF(6008)1.35 M][HTML(2859)]消息传递的MSVL通信机制及其实现王小兵,郭文轩,段振华2018,29(6):1607-1621 [摘要(3781)] [PDF(5345)2.01 M][HTML(2412)]普适计算应用时空性质的运行时验证李晅松,陶先平,宋巍2018,29(6):1622-1634 [摘要(3545)] [PDF(5184)1.47 M][HTML(3152)]APTL公式的可满足性检查工具王海洋,段振华,田聪2018,29(6):1635-1646 [摘要(3624)] [PDF(5233)1.31 M][HTML(2551)]基于类型理论的领域数据建模和验证及案例乌尼日其其格,李小平,马世龙,吕江花2018,29(6):1647-1669 [摘要(3647)] [PDF(5394)2.71 M][HTML(2442)]一种嵌套中断系统的建模和分析方法崔进,段振华,田聪,张南2018,29(6):1670-1680 [摘要(3478)] [PDF(5353)1.29 M][HTML(2636)]考虑中断和上下文切换开销的响应时间分析于广良,杨孟飞2018,29(6):1681-1698 [摘要(3495)] [PDF(6697)2.15 M][HTML(3289)]机器人关节通信总线系统的建模与验证孟瑶,李晓娟,关永,王瑞,张杰2018,29(6):1699-1715 [摘要(3841)] [PDF(6420)1.99 M][HTML(2772)]
API使用的关键问题研究李正,吴敬征,李明树2018,29(6):1716-1738 [摘要(4408)] [PDF(8632)2.41 M][HTML(4607)]MapReduce与Spark用于大数据分析之比较吴信东,嵇圣硙2018,29(6):1770-1791 [摘要(6048)] [PDF(11449)2.25 M][HTML(4167)]5G移动通信网络安全研究冯登国,徐静,兰晓2018,29(6):1813-1825 [摘要(6298)] [PDF(17496)1.55 M][HTML(4097)]
