Ralph Weissnegger, Markus Schuss, Christian Kreiner, Markus Pistauer, Kay Römer, Christian Steger. Simulation-based Verification of Automotive Safety-critical Systems Based on EAST-ADL. In Elhadi M. Shakshuki, editor, The 7th International Conference on Ambient Systems, Networks and Technologies (ANT 2016) / The 6th International Conference on Sustainable Energy Information Technology (SEIT-2016) / Affiliated Workshops, May 23-26, 2016, Madrid, Spain. Volume 83 of Procedia Computer Science, pages 245-252, Elsevier, 2016. [doi]
Abstract is missing.