Zur Seitennavigation oder mit Tastenkombination für den accesskey-Taste und Taste 1 
Zum Seiteninhalt oder mit Tastenkombination für den accesskey und Taste 2 
LSF wird am 11. August (Do) ab 13:00 Uhr für ca. eine Stunde aufgrund von Wartungsmaßnahmen nicht zur Verfügung stehen.
Startseite    Anmelden     
   Hilfe  Trennstrich  Sitemap  Trennstrich  Impressum  Trennstrich  Datenschutz  Trennstrich  node2  Trennstrich  Switch to english language

Publikation: Konferenz/Workshop

Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen: MBMV 2013


Grunddaten

Titel Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen: MBMV 2013
Untertitel MBMV 2013 ; 16. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen ... im März 2013 an der Universität Rostock
Erscheinungsjahr 2013
Verlag Universität Rostock
Verlagsort Rostock
Seitenzahl 284
Publikationsform Druckschrift
Publikationsart Konferenz/Workshop
Sprache Deutsch
Tagungsname 16. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (16. MBMV)
Organisator Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen / Universität Rostock
Tagungsort Rostock
Tagungsdatum 03/2013
ISBN 978-3-86009-147-0
Letzte Änderung 16.05.2019 19:34:13
Bearbeitungsstatus durch UB Rostock abschließend validiert
Dauerhafte URL http://purl.uni-rostock.de/fodb/pub/41267
Links zu Katalogen Diese Publikation in der Universitätsbibliographie Diese Publikation im GBV-Katalog

Untergeordnete Publikationen

Seite 25 – 34 System level modeling of Networks-on-Chip for power estimation and design space exploration
Seite 35 – 46 A combined mapping and routing algorithm for 3D NoCs based on ASP
Seite 105 – 115 Model-based representation of schedules for dataflow graphs

Autoren

Haubelt, Christian Link zur UB Rostock Link zum GBV-Katalog
Timmermann, Dirk Link zur UB Rostock Link zum GBV-Katalog

Einrichtung

IEF/Institut für Angewandte Mikroelektronik und Datentechnik (IMD)