| [1] |
苏庆, 陈建成, 顾国生, 刘冬宁, 黄剑锋. 程序调试中的数据结构演变可视化方法[J]. 计算机工程, 2024, 50(9): 197-207. |
| [2] |
王文斌, 钱振江, 靳勇, 孙高飞, 邢晓双, 苏超, 孙天琦. 基于Isabelle/HOL的文件系统形式化设计与验证[J]. 计算机工程, 2024, 50(4): 277-285. |
| [3] |
闫小勇, 李青, 莫有权. 基于状态相关字段的二进制协议状态机推断[J]. 计算机工程, 2019, 45(7): 126-133. |
| [4] |
谢闯,杨志家,王剑. 基于TSCH模式的工业无线系统级芯片设计[J]. 计算机工程, 2018, 44(6): 288-293,299. |
| [5] |
林伟建,王伦耀,夏银水. 有限状态机的双逻辑面积优化[J]. 计算机工程, 2016, 42(5): 282-287. |
| [6] |
马殷元,王虎军,张伟. 机电系统中实时控制软件状态图模型扩展及实现[J]. 计算机工程, 2016, 42(3): 94-97. |
| [7] |
韩杰,陈耀武. 基于Storm平台的实时视频分析系统[J]. 计算机工程, 2015, 41(12): 26-29,35. |
| [8] |
李明哲,陈君,王劲林,陈晓. 基于状态机的HTTP Chunked流并发解析[J]. 计算机工程, 2015, 41(1): 256-260. |
| [9] |
冯紫竹,赵毅强,刘长龙. 一种基于时序型硬件木马的IP 版权保护结构[J]. 计算机工程, 2014, 40(9): 19-22. |
| [10] |
熊雄，刘新，叶德建. 基于电信IPTV的服务质量监测与实现[J]. 计算机工程, 2014, 40(5): 257-261. |
| [11] |
许家铭，李晓东，金键，马盈. 一种高效的多模式字符串匹配算法[J]. 计算机工程, 2014, 40(3): 315-320. |
| [12] |
曹文, 郭帆, 余敏, 张磊. 基于哈希树和有限状态机的XSS检测模型[J]. 计算机工程, 2013, 39(6): 154-157,161. |
| [13] |
朱琴跃, 王瑛, 谭喜堂, 赵亚辉. 模块化高速电动车组牵引传动跟踪监测系统[J]. 计算机工程, 2013, 39(3): 20-24,30. |
| [14] |
黄鹏，刘箴. 一种基于动机理论的人群行为模型[J]. 计算机工程, 2013, 39(12): 290-293. |
| [15] |
黄晓玲, 陈桂林, 赵生慧. 基于云计算的并行测试方案设计与实现[J]. 计算机工程, 2012, 38(24): 27-31. |