[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. |