Christian Bartsch, Nico Rödel, Carlos Villarraga, Dominik Stoffel, Wolfgang Kunz. A HW-dependent Software Model for Cross-Layer Fault Analysis in Embedded Systems. In Ralf Wimmer, editor, 19th GI/ITG/GMM Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2016, Freiburg im Breisgau, Germany, March 1-2, 2016. pages 10-21, Albert-Ludwigs-Universität Freiburg, 2016. [doi]
Abstract is missing.