Modelling and Analysing ERTMS Hybrid Level 3 with the mCRL2 Toolset-Reference-Cited by-同舟云学术

Modelling and Analysing ERTMS Hybrid Level 3 with the mCRL2 Toolset

Published:2018 Issue: Volume: Page:98-114
ISSN:0302-9743
Container-title:Formal Methods for Industrial Critical Systems
language:
Short-container-title:

Author:

Bartholomeus Maarten,Luttik Bas,Willemse Tim

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-00244-2_7

Reference13 articles.

1. Berger, U., James, P., Lawrence, A., Roggenbach, M., Seisenberger, M.: Verification of the European rail traffic management system in real-time maude. Sci. Comput. Program. 154, 61–88 (2018)

2. Lecture Notes in Computer Science;R Canonico,2017

3. Lecture Notes in Computer Science;A Cimatti,2012

4. Cranen, S., Luttik, B., Willemse, T.A.C.: Evidence for fixpoint logic. In: CSL, vol. 41. LIPIcs, pp. 78–93. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2015)

5. Lecture Notes in Computer Science;A Cunha,2018

Cited by 17 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Modelling and Analysing a Mechanical Lung Ventilator in mCRL2;Lecture Notes in Computer Science;2024

2. Formal Methods and Tools Applied in the Railway Domain;Lecture Notes in Computer Science;2024

3. ERTMS/ETCS Level 3: Development, assumptions, and what it means for the future;Journal of Intelligent and Connected Vehicles;2023-03

4. Exploring the ERTMS/ETCS full moving block specification: an experience with formal methods;International Journal on Software Tools for Technology Transfer;2022-04-10

5. Supporting Railway Innovations with Formal Modelling and Verification;Formal Methods for Industrial Critical Systems;2022