Synonyme wurden verwendet für:
formale Spezifikation
Suche ohne Synonyme:
keywords:(formale Spezifikation)
Ansätze zur Entwicklung von Eisenbahnleitsystemen auf der Basis von Petrinetzen
Petrinetze für die durchgängige Entwicklung von Systemen der Eisenbahnsicherung
Functional modelling and simulation of train control systems