Spatial Model Checking for Smart Stations: Research Challenges

Bibliographische Detailangaben

Veröffentlicht in:	FMICS (26. : 2021 : Online) Formal Methods for Industrial Critical Systems
1. Verfasser:	Beek, Maurice H. ter (VerfasserIn)
Weitere Verfasser:	Ciancia, Vincenzo (VerfasserIn), Latella, Diego (VerfasserIn), Massink, Mieke (VerfasserIn), Spagnolo, Giorgio Q. (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2021
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!