| [1] |
李丹波, 颜学雄, 毛恩辉. HTTP语义不一致问题研究及测试[J]. 计算机工程, 2026, 52(9): 293-305. |
| [2] |
罗莉, 冯权友, 周理, 铁俊波, 龚锐, 潘国腾. 基于芯粒的多核处理器目录控制器的敏捷验证[J]. 计算机工程, 2026, 52(8): 176-183. |
| [3] |
杨国正, 齐冬震, 陈攀, 沈照斌, 尹鹏语, 霍彦霖. 资源公钥基础设施部署问题研究综述[J]. 计算机工程, 2026, 52(6): 17-30. |
| [4] |
王梓, 王洪强, 杨晓艺, 兰雨晴. 操作系统形式规约与验证综述[J]. 计算机工程, 2026, 52(2): 24-45. |
| [5] |
温敏初, 梁炜, 张嘉麟. 面向TDMA无线传感器网络的攻击构造与入侵检测方法研究[J]. 计算机工程, 2025, 51(8): 203-214. |
| [6] |
彭程炜, 杨晋吉, 杨光. SAP-AKA二次认证协议的形式化验证与改进[J]. 计算机工程, 2025, 51(6): 204-211. |
| [7] |
毛竞争, 胡潇锐, 徐庚辰, 吴国栋, 孙彦斌, 田志宏. 数字孪生在工控安全中的应用进展综述[J]. 计算机工程, 2025, 51(2): 1-17. |
| [8] |
邸钦渤, 陈劭力, 时良仁. GRD: 基于GNN和扩散模型的多变量时序数据异常检测算法[J]. 计算机工程, 2025, 51(11): 35-44. |
| [9] |
彭龙, 高元钧, 刘晓东, 余杰. 群体机器人系统通信编程框架综述[J]. 计算机工程, 2025, 51(10): 37-52. |
| [10] |
高秋辰, 胡勇华. 基于UVM的SoC环境中PCIe验证平台设计[J]. 计算机工程, 2024, 50(9): 189-196. |
| [11] |
徐晓滨, 张云硕, 施凡, 常雷雷, 陶志刚. 基于特征匹配度与异类子模型融合的安全性评估方法[J]. 计算机工程, 2024, 50(8): 113-122. |
| [12] |
刘寅昊, 蒋文保, 孙林昆, 王勇攀. 基于路径存储表的Hashgraph共识算法优化与实现[J]. 计算机工程, 2024, 50(6): 166-178. |
| [13] |
旋逸昭, 赵红武, 金瑜. 一种基于双链的区块链共识机制[J]. 计算机工程, 2024, 50(5): 139-148. |
| [14] |
刘航博, 马礼, 李阳, 马东超, 傅颖勋. 无人驾驶中运用DQN进行障碍物分类的避障方法[J]. 计算机工程, 2024, 50(11): 380-389. |
| [15] |
余新胜, 朱丹江, 罗论涵. 基于CLPN的系统安全性分析方法[J]. 计算机工程, 2024, 50(10): 255-265. |