Martin Zabel, Thomas B. PreuĂer, Rainer G. Spallek. High-Level Architecture Modelling Assisting the Processor Platform Development, Debugging and Simulation. 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 187-196, Universitätsbibliothek Berlin, Germany, 2009.
Abstract is missing.