Modeling Train Systems: From High-Level Architecture Graphical Models to Formal Specifications

Bibliographische Detailangaben

Veröffentlicht in:	CRiSIS (17. : 2022 : Sousse) Risks and Security of Internet and Systems
1. Verfasser:	Bougacha, Racem (VerfasserIn)
Weitere Verfasser:	Laleau, Régine (VerfasserIn), Bon, Philippe (VerfasserIn), Collart-Dutilleul, Simon (VerfasserIn), Ayed, Rahma Ben (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2023
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!