A Verification and Validation Workflow for IEC 61508 Applications
Software Tool Qualification According to ISO 26262
Automatic Evaluation of ECU Software Tests
Model-based Testing of Embedded Automotive Software Using Mtest
Safety-Critical Software Development Using Automatic Production Code Generation
Using Model and Code Reviews in Model-based Development of ECU Software