Author:
Comptier Mathieu,Leuschel Michael,Mejia Luis-Fernando,Perez Julien Molinero,Mutz Mareike
Publisher
Springer International Publishing
Reference12 articles.
1. Abrial, J.: The ABZ-2018 case study with Event-B. In: Butler et al. [3], pp. 322–337
2. Abrial, J.-R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, Cambridge (2010)
3. Lecture Notes in Computer Science,2018
4. ClearSy: Atelier B, User and Reference Manuals. Aix-en-Provence, France (2009).
http://www.atelierb.eu/
5. Lecture Notes in Computer Science;M Comptier,2017
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. 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
2. A Formal Model of Train Control with AI-Based Obstacle Detection;Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification;2023
3. 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
4. Formal Modelling to Improve Safety and Security;Lecture Notes in Computer Science;2023
5. A Framework for Formal Verification and Validation of Railway Systems;Rigorous State-Based Methods;2023