Synonyme wurden verwendet für:
formale Spezifikation
Suche ohne Synonyme:
keywords:(formale Spezifikation)
Rapid Prototyping elektronischer Steuerungssysteme in der Automobilentwicklung
Applying SOFL to specify a railway crossing controller for industry
Evaluating a control system architecture based on a formally derived AOCS model
Semiformale Entwurfsmethoden bei BMW
Formale Entwicklung der Steuerungssoftware für eine elektrisch ortsbediente Weiche mit VSE
A multiplexing communication IC for automotive body-electronic control
Model driven development and code generation: An automotive case study
Einsatz von Hardwarebeschreibungsprachen im Entwurf von Kfz-Komponenten
Modellgestützte Bewertung der Ablenkungswirkimg von neuen interaktiven Diensten im Fahrzeug
Modellierung und Analyse von Zeitanforderungen basierend auf der UML
Model-based testing of a reactive system with coloured Petri Nets
Specification based prototyping of control systems
Using specification-driven concepts for distributed data management and dissemination
Von Simulink nach OSEK: Automatische Codegenerierung für Echtzeitbetriebssysteme mit TargetLink
Validating metrics for ensuring Space Shuttle flight software quality