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.
Formal methods Safety-critical systems Railway systems
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
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},
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