刘文红 王静 毋晓英 赵东明 朱维军 汪国安 周文俊 张树仁 张海宾 李喜艳 王艳梅 王迤冉 李炳龙 贾俊峰 王清贤 刘大鹏 罗军勇 刘保罗 张文宁 姬莉霞

取证模型 黄金分割点 UPPAAL 流媒体 并发模型 认证测试 时间树自动机 ω-语言 测试分量 可计算性与判定性 实时系统 哈希函数 模式 时间ω-树 遗传算法 模型验证 串空间模型 有限状态自动机 基因网络 ω语言 交替ω有穷自动机 命题投影时序逻辑 ω-有穷自动机 时序逻辑 测试数据 互模拟 对象 识别语言 Internet 协议验证

郑州大学信息工程学院 河南郑州 信息工程大学信息工程学院 郑州大学计算机科学系 西安电子科技大学计算机学院 陕西西安 解放军信息工程大学信息工程学院 河南省工商银行营业部科技处