Synonyme wurden verwendet für:
formale Spezifikation
Suche ohne Synonyme:
keywords:(formale Spezifikation)
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
Using specification-driven concepts for distributed data management and dissemination
Specification based prototyping of control systems
Von Simulink nach OSEK: Automatische Codegenerierung für Echtzeitbetriebssysteme mit TargetLink
Validating metrics for ensuring Space Shuttle flight software quality
Formal requirements analysis of an avionics control system
Formalized conceptualization for the harmonization of the legal framework in railway transportation
An approach for formal modelling of concepts of transportation and metrology standards
Setting software requirements: scenario for future fighters
CCS-recent applications, experience with tools, current and planned research