Synonyme wurden verwendet für:
formale Spezifikation
Suche ohne Synonyme:
keywords:(formale Spezifikation)
Software specification and development in the domain of railway signalling
Improving system reliability via rigorous software modeling: the UML case
Verification of the redundancy management system for space launch vehicle: a case study
An PEARL orientierte Spezifikation verteilter eingebetteter Systeme mit UML-Stereotypen
UML-based specification of a railway interlocking and signalling system
Petrinetze für die durchgängige Entwicklung von Systemen der Eisenbahnsicherung
Are proof techniques industrially operational?