Formale Modellierung der Partitionierung eines gemischt analog/digitalen Systems

Frank Heuschen, Holger Schmitt, Klaus Waldschmidt. Formale Modellierung der Partitionierung eines gemischt analog/digitalen Systems. In Matthias Mutz, Nikolaus Lange, editors, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Braunschweig, Germany, February 22-24, 1999. pages 71-80, Shaker, 1999.

Authors

Frank Heuschen

This author has not been identified. Look up 'Frank Heuschen' in Google

Holger Schmitt

This author has not been identified. Look up 'Holger Schmitt' in Google

Klaus Waldschmidt

This author has not been identified. Look up 'Klaus Waldschmidt' in Google