王鹏 马卫东 桑楠 黎忠文 蔡开元 王志颖 杨仕平 王向云 熊光泽 常政威

离散事件系统 设计型故障 可信性 实时数据处理 嵌入式系统 可靠性测试 系统设计 可信计算 测试用例 集成测试 形式化方法 安全关键软件 防危性测试 多级高可信保障 监督控制 自动机