Synonyme wurden verwendet für:
formale Spezifikation
Suche ohne Synonyme:
keywords:(formale Spezifikation)
Automated translation of safety critical application software specifications into PLC ladder logic
Modellgestützte Bewertung der Ablenkungswirkimg von neuen interaktiven Diensten im Fahrzeug
Formalized conceptualization for the harmonization of the legal framework in railway transportation
An approach for formal modelling of concepts of transportation and metrology standards
Preparing the next generation of IMA: a new technology for the SCARLETT program
A new approach for gateway-based automotive network architectures
An approach to formal verification of free-flight separation
Reuse of Requirements Reduces Time to Market
The Signal Synchronous Multiclock Approach to the Design of Distributed Embedded Systems
Ein Ingenieur-gerechtes formales Beschreibungsmittel
Requirements-based conformance testing of ARINC 653 real-time operating systems
Eigenschaftsorientierte Beschreibung der logischen Architektur eingebetteter Systeme
Evaluating a control system architecture based on a formally derived AOCS model
Deadlock control software for tow automated guided vehicles using Petri Nets