Software Model Checking of Interlocking Programs

Bibliographische Detailangaben

Veröffentlicht in:	Colloquium for Prof. Dr. Jan Peleska (2023 : Bremen) Applicable formal methods for safe industrial products
1. Verfasser:	James, Phillip (VerfasserIn)
Weitere Verfasser:	Moller, Faron (VerfasserIn), Roggenbach, Markus (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2023
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!