Interlocking; Railway; Safety; Verification; Train control;
机译:基于多种复合场景分析的铁路联锁系统形式化建模方法
机译:关于铁路互锁的建模和验证:跟踪火车长度
机译:铁路轨道支撑结构的模块化预制复合材料的有限元建模:拯救悉尼海港大桥的斗争
机译:基于模块化轨道模型生成铁路互锁软件的正式模型
机译:软件定义网络的基于角色的访问控制:正式模型和实现
机译:SMOG 2:通用的软件包用于生成基于结构的模型
机译:关于铁路互锁的建模和验证:跟踪火车长度
机译:通过模型检查抽象形式规范生成软件测试