verification; languages; specification;
机译:铁路信号通信协议验证与一致性测试工具的开发
机译:铁路信号系统设计的形式验证环境
机译:铁路噪声的监测和预测及其对环境的大规模影响-政策制定者的工具
机译:OnTrack:铁路验证的开放工具环境
机译:La Petite Ceinture:Little Rail铁路:连接的Greenway来包括巴黎,城市面料与植物环境之间的对话
机译:铁路道口状况监测的相关分析与验证
机译:OnTrack:铁路验证的开放式工具环境