Document - Formal methods for distributed control systems of future railways

2022

Conference article Restricted

Formal methods for distributed control systems of future railways

Fantechi A., Gnesi S., Haxthausen A. E.

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.

Source: ISoLA'22 - 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, pp. 243–245, Rhodes, Greece, 22-30/10/2022

Publisher: Springer, Berlin , Germania

Metrics

Back to previous page

Cite as

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 A. E.},
	publisher = {Springer, Berlin , Germania},
	doi = {10.1007/978-3-031-19762-8_19},
	booktitle = {ISoLA'22 - 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, pp. 243–245, Rhodes, Greece, 22-30/10/2022},
	year = {2022}
}