Model Based Development of Domain ECU (DCU) and Validation through Hardware in Loop (HiL) Simulation for Commercial Vehicle Applications
Formal Analysis and Verification of Redundancy Management Logic for Inertial Navigation Processing Systems
