Author:
Arcaini Paolo,Ježek Pavel,Kofroň Jan
Publisher
Springer International Publishing
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. ERTMS/ETCS Level 3: Development, assumptions, and what it means for the future;Journal of Intelligent and Connected Vehicles;2023-03
2. Optimal Railway Routing Using Virtual Subsections;Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification;2022
3. Towards Automatic Design and Verification for Level 3 of the European Train Control System;2021 Design, Automation & Test in Europe Conference & Exhibition (DATE);2021-02-01
4. Comparing formal tools for system design;Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering;2020-06-27
5. Validation and real-life demonstration of ETCS hybrid level 3 principles using a formal B model;International Journal on Software Tools for Technology Transfer;2020-02-15