2024
Contribution to book
Open Access
Formal methods for industrial critical systems: 30 years of railway applications
Ter Beek M. H., Fantechi A., Gnesi S.
Safety-critical systems Railway systems Formal methods
This paper, written in honour of Tiziana Margaria, aims to provide a comprehensive presentation of where mainstream formal methods are currently used for modelling and analysis of railway applications.
Source: LECTURE NOTES IN COMPUTER SCIENCE, vol. 15240, pp. 327-344
Publisher: Springer
Metrics
Back to previous page
BibTeX entry
@inbook{oai:iris.cnr.it:20.500.14243/509185,
title = {Formal methods for industrial critical systems: 30 years of railway applications},
author = {Ter Beek M. H. and Fantechi A. and Gnesi S.},
publisher = {Springer},
doi = {10.1007/978-3-031-73887-6_21},
booktitle = {LECTURE NOTES IN COMPUTER SCIENCE, vol. 15240, pp. 327-344},
year = {2024}
}
0000-0002-4648-4667
ADVancEd iNtegraTed evalUation of Railway systEms
ADVancEd iNtegraTed evalUation of Railway systEms
Sustainable Mobility National Research Center
Sustainable Mobility National Research Center