[1] |
苏庆, 陈建成, 顾国生, 刘冬宁, 黄剑锋. 程序调试中的数据结构演变可视化方法[J]. 计算机工程, 2024, 50(9): 197-207. |
[2] |
王文斌, 钱振江, 靳勇, 孙高飞, 邢晓双, 苏超, 孙天琦. 基于Isabelle/HOL的文件系统形式化设计与验证[J]. 计算机工程, 2024, 50(4): 277-285. |
[3] |
林伟建,王伦耀,夏银水. 有限状态机的双逻辑面积优化[J]. 计算机工程, 2016, 42(5): 282-287. |
[4] |
马殷元,王虎军,张伟. 机电系统中实时控制软件状态图模型扩展及实现[J]. 计算机工程, 2016, 42(3): 94-97. |
[5] |
李明哲,陈君,王劲林,陈晓. 基于状态机的HTTP Chunked流并发解析[J]. 计算机工程, 2015, 41(1): 256-260. |
[6] |
曹文, 郭帆, 余敏, 张磊. 基于哈希树和有限状态机的XSS检测模型[J]. 计算机工程, 2013, 39(6): 154-157,161. |
[7] |
黄鹏,刘箴. 一种基于动机理论的人群行为模型[J]. 计算机工程, 2013, 39(12): 290-293. |
[8] |
谭貌, 段斌, 彭邦伦, 张建和. 云制造环境下协同工作流控制模型研究[J]. 计算机工程, 2012, 38(24): 21-26. |
[9] |
黄晓玲, 陈桂林, 赵生慧. 基于云计算的并行测试方案设计与实现[J]. 计算机工程, 2012, 38(24): 27-31. |
[10] |
张依依, 祝跃飞, 高翔. 针对BGP路由器的DDoS攻击及防范措施[J]. 计算机工程, 2012, 38(19): 103-106. |
[11] |
袁佳琳, 高建华. 基于改进FSM的RBAC测试集约简方法[J]. 计算机工程, 2012, 38(17): 42-45,48. |
[12] |
翟琰, 魏振春, 韩江洪, 卫星. 基于脚本语言建模的汽车ECU测试系统设计[J]. 计算机工程, 2012, 38(15): 260-263. |
[13] |
张之武, 娄建安, 常小龙, 李川涛. 基于信息论的时序电路演化设计[J]. 计算机工程, 2012, 38(10): 288-290. |
[14] |
闵华松, 刘冬, 王田苗. 智能机器狗的语音控制模型研究[J]. 计算机工程, 2012, 38(01): 188-191. |
[15] |
南洋, 秦贵和, 董劲男, 高洋. 基于FSM模型的车载MOST网络管理系统[J]. 计算机工程, 2011, 37(18): 91-93. |