Synonyme wurden verwendet für:
formale Spezifikation
Suche ohne Synonyme:
keywords:(formale Spezifikation)
Basic requirements for the use of formal tools in safety procedures of the railway systems
Ein Ingenieur-gerechtes formales Beschreibungsmittel
Ansätze zur Entwicklung von Eisenbahnleitsystemen auf der Basis von Petrinetzen
Computer automated multi-paradigm modelling for analysis and design of traffic networks
Modellierung und Analyse von Zeitanforderungen basierend auf der UML
Model-based testing of a reactive system with coloured Petri Nets