Railway interlocking; Compositional verification; Model checking;
机译:拉瓦尔品第·坎特火车站客运专线联锁系统的实时建模
机译:基于多种复合场景分析的铁路联锁系统形式化建模方法
机译:使用变更点义务对软件产品线进行组成模型检查
机译:具有多个站的线路互锁系统的组成模型检查
机译:基于状态建模和成分模型检查的软件产品线安全性分析
机译:同时阻断多种免疫系统抑制检查点增强了在鼠转移性结肠癌模型中白细胞介素-15介导的抗肿瘤活性
机译:多站线联锁系统的组成模型检测