A multiplexing communication IC for automotive body-electronic control
Formale Entwicklung der Steuerungssoftware für eine elektrisch ortsbediente Weiche mit VSE
Modellgestützte Bewertung der Ablenkungswirkimg von neuen interaktiven Diensten im Fahrzeug
Model driven development and code generation: An automotive case study
Modellierung und Analyse von Zeitanforderungen basierend auf der UML
Using specification-driven concepts for distributed data management and dissemination
Model-based testing of a reactive system with coloured Petri Nets
Specification based prototyping of control systems
Von Simulink nach OSEK: Automatische Codegenerierung für Echtzeitbetriebssysteme mit TargetLink
Formal requirements analysis of an avionics control system
Validating metrics for ensuring Space Shuttle flight software quality
An approach for formal modelling of concepts of transportation and metrology standards
Formalized conceptualization for the harmonization of the legal framework in railway transportation
Setting software requirements: scenario for future fighters
CCS-recent applications, experience with tools, current and planned research