Ralph Weissnegger, Markus Schuß, Christian Kreiner, Markus Pistauer, Kay Römer, Christian Steger. Seamless Integrated Simulation in Design and Verification Flow for Safety-Critical Systems. In Amund Skavhaug, Jérémie Guiochet, Erwin Schoitsch, Friedemann Bitsch, editors, Computer Safety, Reliability, and Security - SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings. Volume 9923 of Lecture Notes in Computer Science, pages 359-370, Springer, 2016. [doi]
Abstract is missing.