%0 Conference Paper %1 conf/safecomp/WeissneggerSKPR16 %A Weissnegger, Ralph %A Schuß, Markus %A Kreiner, Christian %A Pistauer, Markus %A Römer, Kay %A Steger, Christian %B SAFECOMP Workshops %D 2016 %E Skavhaug, Amund %E Guiochet, Jérémie %E Schoitsch, Erwin %E Bitsch, Friedemann %I Springer %K dblp %P 359-370 %T Seamless Integrated Simulation in Design and Verification Flow for Safety-Critical Systems. %U http://dblp.uni-trier.de/db/conf/safecomp/safecomp2016w.html#WeissneggerSKPR16 %V 9923 %@ 978-3-319-45479-5

@inproceedings{conf/safecomp/WeissneggerSKPR16, added-at = {2017-05-26T00:00:00.000+0200}, author = {Weissnegger, Ralph and Schuß, Markus and Kreiner, Christian and Pistauer, Markus and Römer, Kay and Steger, Christian}, biburl = {https://www.bibsonomy.org/bibtex/2dd29da94a0f9a01f11d06006895b44d2/dblp}, booktitle = {SAFECOMP Workshops}, crossref = {conf/safecomp/2016w}, editor = {Skavhaug, Amund and Guiochet, Jérémie and Schoitsch, Erwin and Bitsch, Friedemann}, ee = {https://doi.org/10.1007/978-3-319-45480-1_29}, interhash = {6eefd96210f89b6ffc11c156f3fd1097}, intrahash = {dd29da94a0f9a01f11d06006895b44d2}, isbn = {978-3-319-45479-5}, keywords = {dblp}, pages = {359-370}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:35:27.000+0200}, title = {Seamless Integrated Simulation in Design and Verification Flow for Safety-Critical Systems.}, url = {http://dblp.uni-trier.de/db/conf/safecomp/safecomp2016w.html#WeissneggerSKPR16}, volume = 9923, year = 2016 }