Synonyme wurden verwendet für:
formale Spezifikation
Suche ohne Synonyme:
keywords:(formale Spezifikation)
Integration of message sequence charts and Petri nets in the system design process
Functional modelling and simulation of train control systems
A database architecture for reusable CommonKADS agent specification components
Explorations on the formal frontier of distributed system design
A new approach for gateway-based automotive network architectures
Project Golden Gate: towards real-time Java in space missions
Process model for the development of system requirements specifications for railway systems
An example of risk assessment of software systems specifications
Automated testing in practice: the highway tolling system
Role of VDM(++) in the development of a real-time tracking and tracing system
Evaluating a control system architecture based on a formally derived AOCS model
Eigenschaftsorientierte Beschreibung der logischen Architektur eingebetteter Systeme
Semiformale Entwurfsmethoden bei BMW
Safety checking in an automatic train operation system
Rapid Prototyping elektronischer Steuerungssysteme in der Automobilentwicklung