Jens Brandt, Klaus Schneider (Eds.):
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Kaiserslautern, Germany, March 5-7, 2012.
Verlag Dr. Kovac 2012
Christian Appold: Fast Symbolic Model Checking for Partitioned Transition Relations with Isomorphic Partitions.
1-12
Sebastian Graf, Michael Glaß, Jürgen Teich: Unreliable Data Transmissions und Limited Hardware Communication Buffers in Automotive E/E Virtual Prototypes.
13-24
data released under the ODC-BY 1.0 license
