Abstrakte Modellierung von Hardware/Software-Systemen unter Berücksichtigung von RTOS-Funktionalität

Matthias Müller, Joachim Gerlach, Wolfgang Rosenstiel. Abstrakte Modellierung von Hardware/Software-Systemen unter Berücksichtigung von RTOS-Funktionalität. In Christoph Scholl, Stefan Disch, editors, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Freiburg, Germany, March 3-5, 2008. pages 21-30, Shaker, 2008.

Authors

Matthias Müller

This author has not been identified. Look up 'Matthias Müller' in Google

Joachim Gerlach

This author has not been identified. Look up 'Joachim Gerlach' in Google

Wolfgang Rosenstiel

This author has not been identified. Look up 'Wolfgang Rosenstiel' in Google