Designing a Demonstrator of Formal Methods for Railways Infrastructure Managers-Reference-Cited by-同舟云学术

Designing a Demonstrator of Formal Methods for Railways Infrastructure Managers

Published:2020 Issue: Volume: Page:467-485
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Basile Davide^ORCID,ter Beek Maurice H.^ORCID,Fantechi Alessandro^ORCID,Ferrari Alessio^ORCID,Gnesi Stefania^ORCID,Masullo Laura,Mazzanti Franco^ORCID,Piattino Andrea,Trentini Daniele

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-61467-6_30

Reference55 articles.

1. Abrial, J.R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, Cambridge (2010)

2. ASTRail Deliverable D4.3: Validation Report. http://astrail.eu/download.aspx?id=d7ae1ebf-52b4-4bde-b25e-ae251fd906df

3. Lecture Notes in Computer Science;D Basile,2018

4. ter Beek, M.H., Fantechi, A., Gnesi, S., Mazzanti, F.: A state/event-based model-checking approach for the analysis of abstract system properties. Sci. Comput. Program. 76(2), 119–135 (2011). https://doi.org/10.1016/j.scico.2010.07.002

5. Lecture Notes in Computer Science;MH ter Beek,2019

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

1. Experimenting with Formal Verification and Model-Based Development in Railways: The Case of UMC and Sparx Enterprise Architect;Formal Methods for Industrial Critical Systems;2023

2. Formal Methods in Railways: A Systematic Mapping Study;ACM Computing Surveys;2022-11-21

3. Extending SysML with Refinement and Decomposition Mechanisms to Generate Event-B Specifications;Theoretical Aspects of Software Engineering;2022

4. Operation Caching and State Compression for Model Checking of High-Level Models;Lecture Notes in Computer Science;2022

5. The 4SECURail Formal Methods Demonstrator;Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification;2022