Seamless Integrated Simulation in Design and Verification Flow for Safety-Critical Systems.

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

Browse the full SAFECOMP paper archive.