Formally Modelling the Rijkswaterstaat Tunnel Control Systems in a Constrained Industrial Environment

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Electronic proceedings in theoretical computer science 2024-03, Vol.399, p.101-127
Hauptverfasser:	Jilissen, Kevin H.J., Dieleman, Peter, Groote, Jan Friso
Format:	Artikel
Sprache:	eng
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!