骆翔宇 吕关锋 肖统民 岳伟亚 杨晋吉 苏开乐 李超明 林瀚 陈清亮 陈锦珊 陈子聪

SPV 红外线检测 NuSMV 秘密性 停车收费管理 时态信息 自动化验证 协议 多重中断 认证性 电子商务 软件模拟硬件 中断 89C51 SET证书申请协议 验证 模型检测 递推公式 图形界面 模态算子 单片机控制 时态数据库 串空间 有界模型检测 可满足性问题

北京大学信息科学技术学院 中山大学信息科学与技术学院 北京工业大学计算机学院 中山大学信息科学与技术学院广东省信息安全... 桂林电子科技大学计算机与控制学院 广州510275华南师范大学计算机学院 广州510275北京大学信息科学技术学院... 华南师范大学计算机学院