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 contribution

Original languageGerman
Title of host publicationProceedings of the 6th International Conference on Pervasive and Embedded Computing and Communication Systems
Publication statusPublished - 2016
EventPEC 2016 - International Conference on Pervasive and Embedded Computing - Lissabon, Portugal
Duration: 25 Jul 201627 Jul 2016

Conference

ConferencePEC 2016 - International Conference on Pervasive and Embedded Computing
CountryPortugal
CityLissabon
Period25/07/1627/07/16

Cite this