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