Simulation-based Verification of Automotive Safety-critical Systems Based on EAST-ADL.

Ralph Weissnegger, Markus Schuss, Christian Kreiner, Markus Pistauer, Kay Rmer, Christian Steger

Browse the full ANT paper archive.