刘春明 徐雨波 张玉明 张文亮 宋雨 唐稚松 李广元

空性检测 可达性 通信量 符号化方法 模型检测 模型检验 接收者 WindowsNT ASP 可接受条件 SQLServer 发送者 有限精度时间自动机 Intranet 自适应动态负载平衡 基于迁移的扩展Büchi自动机 安全

中国科学院软件研究所计算机科学重点实验室 华北电力大学计算机科学与工程系 中国科学院研究生院 中国科学院软件研究所计算机科学国家重点实... 北京100190中国科学院研究生院 华北电力大学