Automatic Testbench Generation for Simulation-based Verification of Safety- Critical Systems in UML

Ralph Peter Weissnegger, Markus Schuß, Christian Josef Kreiner, Markus Pistauer, Kay Uwe Römer, Christian Steger

Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

Filter
Active

Search results