Synonyme wurden verwendet für:
formale Spezifikation
Suche ohne Synonyme:
keywords:(formale Spezifikation)
Formale Entwicklung der Steuerungssoftware für eine elektrisch ortsbediente Weiche mit VSE
Modellgestützte Bewertung der Ablenkungswirkimg von neuen interaktiven Diensten im Fahrzeug
Einsatz von Hardwarebeschreibungsprachen im Entwurf von Kfz-Komponenten
Modellierung und Analyse von Zeitanforderungen basierend auf der UML
Von Simulink nach OSEK: Automatische Codegenerierung für Echtzeitbetriebssysteme mit TargetLink