机译:通过铁路联锁表自动生成正式的安全条件
DTU Compute, Technical University of Denmark, 2800 Lyngby, Denmark;
Railways; Interlocking systems; Formal methods; Safety; Verification; Model checking; Interlocking tables; Signal control tables;
机译:基于组件的分布式铁路联锁系统的正式安全框架
机译:使用FSM和NuSMV自动生成和验证铁路联锁控制表
机译:使用FSM和NuSMV自动生成和验证铁路联锁控制表
机译:通过铁路联锁表自动生成安全要求
机译:自动生成正确性条件,以对合成的RTL设计进行形式验证。
机译:铁路从业人员安全领导安全态度与安全公民行为关系研究
机译:从铁路联锁桌自动生成正式的安全条件
机译:计算科学。铁路安全与能力的形式化建模。