| [1] |
赵大地, 王恪铭. 基于状态图转形式化B模型的安全苛求系统开发方法[J]. 计算机工程, 2024, 50(11): 173-186. |
| [2] |
闫倩倩, 缪炜恺. 轨道交通控制软件中基于场景的需求分析方法[J]. 计算机工程, 2021, 47(8): 284-293,300. |
| [3] |
杨锦翔, 熊焰, 黄文超. 基于强化学习的安全协议形式化验证优化研究[J]. 计算机工程, 2021, 47(12): 141-146. |
| [4] |
陈金鑫,苏雯. 基于Event-B的自动化模块组合方法研究[J]. 计算机工程, 2019, 45(5): 298-307,314. |
| [5] |
陈永,张薇,胡晓辉. 基于改进EventB建模的高速列车追踪运行仿真研究[J]. 计算机工程, 2015, 41(8): 256-261. |
| [6] |
董昱, 水晶, 黎磊. CTCS-2级列控系统的形式化建模与验证[J]. 计算机工程, 2013, 39(3): 12-15. |
| [7] |
徐亮，谭煌. BLP改进模型的形式化描述及自动化验证[J]. 计算机工程, 2013, 39(12): 130-135. |
| [8] |
于淼, 李允, 桂盛霖, 罗蕾. 基于时间自动机的嵌入式系统调度分析工具[J]. 计算机工程, 2012, 38(3): 290-292. |
| [9] |
马苏拉. 软件体系结构的广义视角研究[J]. 计算机工程, 2012, 38(23): 42-46. |
| [10] |
周清雷, 张兵, 席琳. 基于模型检测的系统生存性分析[J]. 计算机工程, 2012, 38(17): 38-41. |
| [11] |
赵硕, 陈中育, 肖春水. 基于范畴论的构件行为组合研究[J]. 计算机工程, 2012, 38(15): 53-55,58. |
| [12] |
陈亚莎, 胡俊, 沈昌祥. 可信应用环境的安全性验证方法[J]. 计算机工程, 2011, 37(23): 152-154. |
| [13] |
梁盟磊, 王小平, 薛小平, 李刚. 基于TLA的UML模型形式化验证[J]. 计算机工程, 2011, 37(2): 72-74. |
| [14] |
陈兰香. 一种基于会话的安全Web文件服务模型[J]. 计算机工程, 2011, 37(18): 127-130. |
| [15] |
陈振庆, 罗兰花. 基于动态描述逻辑的UML状态图形式化方法[J]. 计算机工程, 2011, 37(13): 55-57,60. |