A Model-Based Approach to the Design, Verification and Deployment of Railway Inerlocking System

Bibliographische Detailangaben

Veröffentlicht in:	ISoLA (9. : 2020 : Online) Leveraging applications of formal methods, verification and validation ; Part 3: Engineering principles
1. Verfasser:	Amendola, Arturo (VerfasserIn)
Weitere Verfasser:	Becchi, Anna (VerfasserIn), Cavada, Roberto (VerfasserIn), Cimatti, Alessandro (VerfasserIn), Griggio, Alberto (VerfasserIn), Scaglione, Giuseppe (VerfasserIn), Susi, Angelo (VerfasserIn), Tacchella, Alberto (VerfasserIn), Tessi, Matteo (VerfasserIn)
Pages:	3
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2020
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!