CORE TECHNOLOGY

核心技术

首页 >> 解决方案 >> 全球形式化方法开发的地铁项目
全球形式化方法开发的地铁项目

全球形式化方法开发的地铁项目

0.00
0.00
  

全球形式化方法开发的地铁项目





上图显示了全球范围内用形式化方法开发的地铁项目分布情况。可以看出，由巴黎地铁信号系统开始，在北美、欧洲、亚洲的主要国家，以及南美洲的部分国家的地铁系统开发中，形式化方法已经被广泛使用了。这或许是我们几乎从未听过由于地铁系统故障而造成重大损失和灾难的原因。