Synonyme wurden verwendet für:
formale Spezifikation
Suche ohne Synonyme:
keywords:(formale Spezifikation)
Software specification and development in the domain of railway signalling
Verification of the redundancy management system for space launch vehicle: a case study
Ansätze zur Entwicklung von Eisenbahnleitsystemen auf der Basis von Petrinetzen
Integration of functional, cognitive and quality requirements. A railways case study
Reusing single system requirements from application family requirements
UML-based specification of a railway interlocking and signalling system
Improving system reliability via rigorous software modeling: the UML case
An PEARL orientierte Spezifikation verteilter eingebetteter Systeme mit UML-Stereotypen