Synonyme wurden verwendet für:
formale Spezifikation
Suche ohne Synonyme:
keywords:(formale Spezifikation)
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
Automotive software development: a model based approach
Hybrid-model based hierarchical mission control architecture for autonomous underwater vehicles
Runtime adaptation in safety-critical automotive systems
Object oriented and formal methods for AUV development
Are proof techniques industrially operational?
Automated translation of safety critical application software specifications into PLC ladder logic
Requirements-based conformance testing of ARINC 653 real-time operating systems
Explorations on the formal frontier of distributed system design
Computer automated multi-paradigm modelling for analysis and design of traffic networks
Validating functional system requirements with scenarios
Project Golden Gate: towards real-time Java in space missions
Industrial applications of software synthesis via category theory
Integration of message sequence charts and Petri nets in the system design process
Functional modelling and simulation of train control systems