赵东明 王静 毛绪纹 闪虹 宋煌 朱毅 朱志伟 李喜艳 苏锦祥 张文宁 王迤冉 朱维军 丁萌伟 庄雷

Uppaal 时间后继 包过滤 时延Petri网 安全协议 netfilter Neuman-Stubblebine协议 可重用测试用例 时间自动机 区域可达 时序逻辑 串空间 TPNtoTA转换 比对 软件测试 软件测试过程改进 风洞试验 移动代理 模型检测 实时系统 入侵检测 投影时序逻辑 防火墙 误用检测 时间转换表 区域自动机 理想 模型验证 基准 linux

郑州大学信息工程学院 郑州大学理论计算机科学研究所 河南郑州 河南郑州450052信息工程大学信息工程... 信息工程大学信息工程学院