2011-01-1044 ADACS: Advanced Diagnosis for Time-Triggered Automotive Communication Systems
A model-based configuration approach for automotive real-time operating systems
ADACS: Advanced Diagnosis for time-triggered Automotive Communication Systems
Model-based Toolchain for the Efficient Development of Safety-Relevant Automotive Embedded Systems