机译:伊朗铁路轮磨损管理的进展:使用数值方法选择轮廓的实用方法和综合现场测试
机译:铁路联锁过程-记录铁路枢纽联锁和信号过程的正式方法
机译:致力于铁路形式化方法的多样化:包含七个框架的经验报告
机译:铁路中的实用正式方法SafeCap方法
机译:集成非正式和正式的需求方法:一种使用空间参考数据的系统的实用方法。
机译:在布基纳法索瓦加杜古的一个正式社区中很难以社区为基础的贫困者选择方法:一项混合方法探索性研究
机译:用实际形式方法SOFL指定和验证安全关键系统的方法
机译:计算科学:铁路实用的形式化方法 - safeCap方法。