State Key Laboratory of Rail Traffic Control and Safety, Beijing Jiaotong University, China;
Department of Computer Science, University of York, UK;
Department of Computer Science, University of York, UK;
Department of Computer Science, University of York, UK;
railway interlocking systems; model driven engineering (MDE); executable UML (xUML); formal languages; formal analysis;
机译:基于多种复合场景分析的铁路联锁系统形式化建模方法
机译:铁路联锁过程-记录铁路枢纽联锁和信号过程的正式方法
机译:带有活动对象的铁路运营的形式化建模和分析
机译:用模型转换对铁路互锁模型的正式分析
机译:基于图的模型转换的形式验证
机译:从正式指南模型开发质量指标和审核协议:知识表示和转换
机译:使用UPPAAL分布式铁路互锁系统的正式建模与验证
机译:计算科学。铁路安全与能力的形式化建模。