Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: dcs=0*
![]() |
|
Link zu diesem Datensatz | https://d-nb.info/1028958757 |
Art des Inhalts | Hochschulschrift |
Titel | Combining Formal Model-Based System-Level Design with SystemC Transaction Level Modeling / Jens Gladigau. Betreuer: Teich Jürgen |
Person(en) |
Gladigau, Jens (Verfasser) Jürgen, Teich (Akademischer Betreuer) |
Verlag | Erlangen : Universitätsbibliothek der Universität Erlangen-Nürnberg |
Zeitliche Einordnung | Erscheinungsdatum: 2012 |
Umfang/Format | Online-Ressource |
Andere Ausgabe(n) | Erscheint auch als Druck-Ausgabe: Combining formal model-based system-level design with SystemC transaction level modeling |
Hochschulschrift | Erlangen, Universität Erlangen-Nürnberg, Diss., 2012 |
Persistent Identifier | URN: urn:nbn:de:bvb:29-opus-39081 |
URL | http://www.opus.ub.uni-erlangen.de/opus/volltexte/2012/3908/ (Verlag) (kostenfrei zugänglich) |
Sprache(n) | Englisch (eng) |
Schlagwörter | SystemC ; Ablaufplanung ; Verifikation |
DDC-Notation | 004.21 [DDC22ger] |
Sachgruppe(n) | 004 Informatik |
Online-Zugriff | Archivobjekt öffnen |
