Formal Design and Validation of an Automatic Train Operation Control System

Bibliographische Detailangaben

Veröffentlicht in:	RSSRAIL (4. : 2022 : Paris) Reliability, safety, and security of railway systems
1. Verfasser:	Amendola, Arturo (VerfasserIn)
Weitere Verfasser:	Barruffo, Lorenzo (VerfasserIn), Bozzano, Marco (VerfasserIn), Cimatti, Alessandro (VerfasserIn), De Simone, Salvatore (VerfasserIn), Fedeli, Eugenio (VerfasserIn), Gabbasov, Artem (VerfasserIn), Garrubba, Domenico Ernesto (VerfasserIn), Girardi, Massimiliano (VerfasserIn), Serra, Diana (VerfasserIn), Tiella, Roberto (VerfasserIn), Zampedri, Gianni (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2022
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!