| [1] |
谢宗甫, 高博, 岳春生. 基于OBDD的信号处理任务智能加卸载算法[J]. 计算机工程, 2019, 45(11): 225-233,242. |
| [2] |
冯玉伯,丁承君,赵兴华. 基于时空事件驱动的信息物理系统架构[J]. 计算机工程, 2018, 44(10): 64-68. |
| [3] |
金俊平,杜军龙,周剑涛. 一种可推演的外设细粒度管控模型[J]. 计算机工程, 2018, 44(10): 80-84. |
| [4] |
彭展,梁根,周炳. 电信服务系统特征交互的Z规格及验证[J]. 计算机工程, 2016, 42(8): 19-23. |
| [5] |
王雷,姜久雷,王晓峰. 基于Petri网的设计模式形式化描述[J]. 计算机工程, 2016, 42(7): 33-36,48. |
| [6] |
金戈,薛质,齐开悦. 主引导记录型Rootkit建模及其静态检测方法[J]. 计算机工程, 2015, 41(7): 184-189. |
| [7] |
金戈,薛质,齐开悦. 基于磁盘隐藏PE 文件搜索的Bootkit 检测方法[J]. 计算机工程, 2015, 41(6): 116-120. |
| [8] |
贺毅辉,潘明聪,徐伟,彭辉. 基于概率推理的不确定性任务分配评价方法[J]. 计算机工程, 2015, 41(2): 31-35. |
| [9] |
揣迎才, 张明清, 唐俊, 孔红山, 方芳. 基于Agent的DDoS协同防御实体行为建模[J]. 计算机工程, 2013, 39(6): 158-161. |
| [10] |
张志华, 侯恩科, 罗晓霞, 赵洲, 邓念东. 三维巷道网络数据模型的形式化描述[J]. 计算机工程, 2012, 38(19): 285-289. |
| [11] |
杨乾坤, 谷建华, 王云岚. 面向科学计算的业务流程建模技术研究[J]. 计算机工程, 2012, 38(18): 53-56. |
| [12] |
张娟, 童维勤, 蔡立志. 基于Z规格说明的可复用测试用例形式化描述[J]. 计算机工程, 2012, 38(16): 44-48. |
| [13] |
赵颖, 周芳芳, 杨斌. 拟人Agent面部运动模型研究[J]. 计算机工程, 2012, 38(01): 157-159,162. |
| [14] |
陈谊, 新吉乐, 孙悦红, 李海生. 基于AOV网的抽象工作流模型[J]. 计算机工程, 2011, 37(9): 90-92. |
| [15] |
顾翔, 邱建林. 基于时态逻辑的协议RSL形式化描述[J]. 计算机工程, 2011, 37(5): 7-9. |