Integration abstrakter RTOS-Simulation in den Entwurf eingebetteter automobiler E/E-Systeme

Markus Becker, Henning Zabel, Wolfgang Müller 0003, Ulrich Kiffmeier. Integration abstrakter RTOS-Simulation in den Entwurf eingebetteter automobiler E/E-Systeme. In Carsten Gremzow, Nico Moser, editors, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Berlin, Germany, March 2-4, 2009. pages 167-176, Universitätsbibliothek Berlin, Germany, 2009.

Abstract

Abstract is missing.