Formal Design and Validation of an Automatic Train Operation Control System

International Conference on Reliability, Safety, and Security of Railway Systems Pub Date : 1900-01-01 DOI:10.1007/978-3-031-05814-1_12

A. Amendola, Lorenzo Barruffo, M. Bozzano, A. Cimatti, Salvatore De Simone, E. Fedeli, A. Gabbasov, Domenico Ernesto Garrubba, Massimiliano Girardi, Diana Serra, Roberto Tiella, G. Zampedri

引用次数: 1

查看原文本刊更多论文

列车自动运行控制系统的形式化设计与验证

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

International Conference on Reliability, Safety, and Security of Railway Systems

自引率

0.00%

发文量