Author:
Limbrée Christophe,Cappart Quentin,Pecheur Charles,Tonetta Stefano
Publisher
Springer International Publishing
Reference27 articles.
1. Antoni, M., Ammad, N.: Formal Validation Method and Tools for French Computorized Railway Interlocking Systems, pp. 1–10, June 2008
2. Lecture Notes in Computer Science;AR Bradley,2011
3. Busard, S., Cappart, Q., Limbrée, C., Pecheur, C., Schaus, P.: Verification of railway interlocking systems. In: Proceedings 4th International Workshop on Engineering Safety and Security Systems, ESSS 2015, Oslo, Norway, June 22, 2015, pp. 19–31 (2015). http://dx.doi.org/10.4204/EPTCS.184.2
4. Cappart, Q., Limbrée, C., Schaus, P., Legay, A.: Verification by discrete simulation of interlocking systems. In: Proceedings of the 29th Annual European Simulation and Modelling Conference, EUROSIS, October 2015
5. Lecture Notes in Computer Science;R Cavada,2014
Cited by
31 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Abstraction Modulo Stability;Formal Methods in System Design;2024-09-12
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. Improving Railway Safety: Human-in-the-loop Invariant Finding;Extended Abstracts of the 2023 CHI Conference on Human Factors in Computing Systems;2023-04-19
4. Practical Verification of Railway Signalling Programs;IEEE Transactions on Dependable and Secure Computing;2023-01-01
5. 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