Hybride Prototypisierung eines Sensorsubsystems

Sebastian Stieber, Johann-Peter Wolff, Christian Haubelt, Rainer Dorsch. Hybride Prototypisierung eines Sensorsubsystems. In Jürgen Ruf, Dirk Allmendinger, Matteo Michel, editors, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2014, Böblingen, Germany. pages 209-212, Cuvillier, 2014.