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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Originalsprachedeutsch
TitelProceedings of the 6th International Conference on Pervasive and Embedded Computing and Communication Systems
PublikationsstatusVeröffentlicht - 2016
VeranstaltungPEC 2016 - International Conference on Pervasive and Embedded Computing - Lissabon, Portugal
Dauer: 25 Jul 201627 Jul 2016

Konferenz

KonferenzPEC 2016 - International Conference on Pervasive and Embedded Computing
LandPortugal
OrtLissabon
Zeitraum25/07/1627/07/16

Dieses zitieren

Weissnegger, R. P., Schuß, M., Kreiner, C. J., Pistauer, M., Römer, K. U., & Steger, C. (2016). Automatic Testbench Generation for Simulation-based Verification of Safety- Critical Systems in UML. in Proceedings of the 6th International Conference on Pervasive and Embedded Computing and Communication Systems