李海波 杜军威 梅萌 喻钢 王曦 吴芳美

列车自动监控系统 Petri网 单元测试 图形转换 安全性验证 态射 故障树 模型检测 构件组装 断言 测试数据生成 安全苛求系统 安全性 安全软件 故障树分析 软件测试

同济大学沪西校区信息与控制工程系 同济大学信息与通信工程系 同济大学电子与信息工程学院 青岛科技大学信息科学技术学院