Media type: Book Title: Design automation for embedded systems Contributor: Stravers, Paul [Author]; Groeneveld, Patrick [Author] imprint: München; Wien: Oldenbourg, 1995 Published in: Gesellschaft für Mathematik und Datenverarbeitung: Berichte der Gesellschaft für Mathematik und Datenverarbeitung ; 245 Extent: XII, 118 S; Ill., graph. Darst Language: German; English ISBN: 3486234048 RVK notation: SI 210 : Gesellschaft für Mathematik und Datenverarbeitung <Sankt Augustin>: GMD-Berichte Keywords: Eingebettetes System > Entwurfsautomation Origination: Footnote: Literaturverz. S. [103] - 111