[1] |
谢娜, 谭文安, 曹彦, 赵璐. 移动边缘计算中安全信息流建模与分析[J]. 计算机工程, 2022, 48(5): 35-42,52. |
[2] |
徐淑琳, 周广瑞, 岳昊. 标注Petri网中的最小初始标识估计[J]. 计算机工程, 2021, 47(4): 285-290,297. |
[3] |
王辉, 赵雅, 张娟, 刘琨. 基于PANAG模型的攻击路径预测研究[J]. 计算机工程, 2020, 46(9): 154-162. |
[4] |
王辉, 娄亚龙, 戴田旺, 茹鑫鑫, 刘琨. 基于BNAG模型的脆弱性评估算法[J]. 计算机工程, 2019, 45(9): 128-135,142. |
[5] |
陈梦伟,吕钊,崔修涛. 基于联合非负矩阵分解的话题变迁检测方法[J]. 计算机工程, 2018, 44(1): 35-43. |
[6] |
任胜兵,张健威,吴斌,王志健. Spark环境下基于SMT的分布式限界模型检测[J]. 计算机工程, 2017, 43(6): 19-23,29. |
[7] |
唐郑熠,王金水,何栋炜,薛醒思,胡文瑜. 馈线自动化算法的形式化建模与验证[J]. 计算机工程, 2016, 42(3): 89-93. |
[8] |
赵璐,张健沛,杨静. 收缩候选回溯集的有状态动态偏序归约方法[J]. 计算机工程, 2015, 41(5): 70-76. |
[9] |
许兴旺,骆翔宇. 基于MAS 模型检测与抽象的Web 服务验证[J]. 计算机工程, 2015, 41(3): 26-31,36. |
[10] |
劳佳琪,文中华,伍小辉,唐杰. 一种快速求强规划解的算法[J]. 计算机工程, 2015, 41(3): 162-166. |
[11] |
伍小辉,文中华,李洋,劳佳琪. 不确定规划中的多Agent带权值强规化算法[J]. 计算机工程, 2015, 41(1): 190-195. |
[12] |
龙凤,文中华,唐杰,王进宗. 不确定规划中可达关系的快速求解算法[J]. 计算机工程, 2015, 41(1): 196-199. |
[13] |
余莹. 组合服务交互测试研究综述[J]. 计算机工程, 2013, 39(5): 78-83. |
[14] |
纪明宇,王海涛,陈志远. 基于自动机的概率计算树逻辑验证方法[J]. 计算机工程, 2013, 39(12): 285-289. |
[15] |
张一弛, 庞建民, 范学斌, 姚鑫磊. 基于模型检测的程序恶意行为识别方法[J]. 计算机工程, 2012, 38(18): 107-110. |