Author:
Comptier Mathieu,Deharbe David,Perez Julien Molinero,Mussat Louis,Pierre Thibaut,Sabatier Denis
Publisher
Springer International Publishing
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Formal Verification of the European Train Control System (ETCS) for Better Energy Efficiency Using a Timed and Asynchronous Model;Energies;2023-04-21
2. Modelling, Visualisation and Proof of an ETCS Level 3 Moving Block System;Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification;2023
3. A Formal Model of Train Control with AI-Based Obstacle Detection;Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification;2023
4. Integral Formal Proof: A Verification Approach Bridging the Gap Between System and Software Levels in Railway Systems;Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification;2023
5. Temporal Verification of Relay-Based Railway Traffic Control Systems Using the Integrated Model of Distributed Systems;Energies;2022-11-29