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?
Hybrid-model based hierarchical mission control architecture for autonomous underwater vehicles
Automotive software development: a model based approach
Requirements-based conformance testing of ARINC 653 real-time operating systems
Runtime adaptation in safety-critical automotive systems
Computer automated multi-paradigm modelling for analysis and design of traffic networks
Automated translation of safety critical application software specifications into PLC ladder logic
Object oriented and formal methods for AUV development
Validating functional system requirements with scenarios