| [1] | 
																		苏庆, 陈建成, 顾国生, 刘冬宁, 黄剑锋. 程序调试中的数据结构演变可视化方法[J]. 计算机工程, 2024, 50(9): 197-207. | 
																	
																																	
																		| [2] | 
																		王文斌, 钱振江, 靳勇, 孙高飞, 邢晓双, 苏超, 孙天琦. 基于Isabelle/HOL的文件系统形式化设计与验证[J]. 计算机工程, 2024, 50(4): 277-285. | 
																	
																																	
																		| [3] | 
																		马蓓蓓, 胡志刚, 时鹏, 王新征, 谢飞虎, 宋克纳. 艾灸机器人系统设计与实现[J]. 计算机工程, 2024, 50(2): 214-223. | 
																	
																																	
																		| [4] | 
																		汪小勇, 董德存, 欧冬秀. 车载TBTC-CBTC系统降级场景下的CPN建模与仿真[J]. 计算机工程, 2022, 48(7): 189-198. | 
																	
																																	
																		| [5] | 
																		廉文娟, 赵朵朵, 范修斌. 基于CFL_BLP模型的CFL SSL安全通信协议[J]. 计算机工程, 2021, 47(6): 152-163. | 
																	
																																	
																		| [6] | 
																		王建华, 陈永乐, 张壮壮, 连晓伟, 陈俊杰. 基于工控系统功能码特征的同源攻击分析[J]. 计算机工程, 2020, 46(7): 36-42. | 
																	
																																	
																		| [7] | 
																		张庭芳, 黄海林, 郭劲林, 曹铭. CAN控制系统的时延分析及混合算法[J]. 计算机工程, 2020, 46(5): 305-311. | 
																	
																																	
																		| [8] | 
																		张瑞, 陈红卫. 基于特征优化与SVPSO的工控入侵检测[J]. 计算机工程, 2020, 46(4): 19-25. | 
																	
																																	
																		| [9] | 
																		刘毅, 梅玉鹏, 李国燕, 潘玉恒. 网络环境下切换模糊时滞系统的非脆弱控制[J]. 计算机工程, 2020, 46(3): 299-308. | 
																	
																																	
																		| [10] | 
																		陈俞娴, 桂良启, 任利明, 周自成, 占美娟, 杨杰波, 郎量, 陈柯, 田加胜, 郭伟. 基于ARM与FPGA的气象微波辐射计测控系统设计[J]. 计算机工程, 2019, 45(8): 86-91. | 
																	
																																	
																		| [11] | 
																		周伟平, 杨维永, 王雪华, 茅兵. 面向工业控制系统的渗透测试工具研究[J]. 计算机工程, 2019, 45(8): 92-101. | 
																	
																																	
																		| [12] | 
																		刘斌,毛钦. 基于极点配置的随机时延网络控制器设计[J]. 计算机工程, 2019, 45(5): 66-71. | 
																	
																																	
																		| [13] | 
																		曾凡毅, 经小川, 孙运乾. 基于单向传输协议的网间安全交换技术[J]. 计算机工程, 2019, 45(11): 159-165. | 
																	
																																	
																		| [14] | 
																		仵林博,陈小红,彭艳红,聂长海. 基于SysML的嵌入式软件系统建模与验证方法研究[J]. 计算机工程, 2019, 45(1): 1-8. | 
																	
																																	
																		| [15] | 
																		侯小静,姬孟洛,黄辰林,舒云星,阎奔. 实时控制系统程序模式的WCET自动分析方法[J]. 计算机工程, 2017, 43(8): 56-62,68. |