Meinten Sie:
keywords:(formal spezifikation)
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
Modelling and Verification of the System Requirement Specification of Train Control System Using SDL
The role of formal methods in developing a distributed railway interlocking system
Applying software engineering principles in train control systems
Formal safety analysis in transportation control
Ein Ingenieur-gerechtes formales Beschreibungsmittel