2022
Conference article
Restricted
Formal methods for distributed control systems of future railways
Fantechi A, Gnesi S, Haxthausen Ae
Railroads Railway signalling Distributed parameter control systems Formal methods
The adoption of formal methods in railway signalling has been the subject of specific tracks of past ISOLA conferences since a decade.
Metrics
Back to previous page
BibTeX entry
@inproceedings{oai:it.cnr:prodotti:474956,
title = {Formal methods for distributed control systems of future railways},
author = {Fantechi A and Gnesi S and Haxthausen Ae},
doi = {10.1007/978-3-031-19762-8_19},
year = {2022}
}
0000-0002-4648-4667