Publisher
Springer International Publishing
Cited by
25 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Specifications are Preferably Amenable to Proof and Animation;Lecture Notes in Computer Science;2024
2. Formal Verification of the European Train Control System (ETCS) for Better Energy Efficiency Using a Timed and Asynchronous Model;Energies;2023-04-21
3. 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
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. A Formal Model of Train Control with AI-Based Obstacle Detection;Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification;2023