%0 Conference Paper %1 conf/peccs/WeissneggerPKSR16 %A Weissnegger, Ralph %A Pistauer, Markus %A Kreiner, Christian %A Schuß, Markus %A Römer, Kay %A Steger, Christian %B PECCS %D 2016 %E Ahrens, Andreas %E Benavente-Peces, César %I SciTePress %K dblp %P 70-75 %T Automatic Testbench Generation for Simulation-based Verification of Safety-critical Systems in UML. %U http://dblp.uni-trier.de/db/conf/peccs/peccs2016.html#WeissneggerPKSR16 %@ 978-989-758-195-3

@inproceedings{conf/peccs/WeissneggerPKSR16, added-at = {2016-09-12T00:00:00.000+0200}, author = {Weissnegger, Ralph and Pistauer, Markus and Kreiner, Christian and Schuß, Markus and Römer, Kay and Steger, Christian}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2651adab1b6fed71e5d281c43218b1253/dblp}, booktitle = {PECCS}, crossref = {conf/peccs/2016}, editor = {Ahrens, Andreas and Benavente-Peces, César}, ee = {http://dx.doi.org/10.5220/0005997700700075}, interhash = {4479a767a9becb3b69c87b047e5517b7}, intrahash = {651adab1b6fed71e5d281c43218b1253}, isbn = {978-989-758-195-3}, keywords = {dblp}, pages = {70-75}, publisher = {SciTePress}, timestamp = {2016-09-13T09:33:53.000+0200}, title = {Automatic Testbench Generation for Simulation-based Verification of Safety-critical Systems in UML.}, url = {http://dblp.uni-trier.de/db/conf/peccs/peccs2016.html#WeissneggerPKSR16}, year = 2016 }