2022
Conference article
Restricted
Formal methods for distributed control systems of future railways
Fantechi A, Gnesi S, Haxthausen Ae
Distributed parameter control systems Railroads Railway signalling Formal methods
The adoption of formal methods in railway signalling has been the subject of specific tracks of past ISOLA conferences since a decade.
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},
year = {2022}
}
0000-0002-4648-4667