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 
Startseite    Anmelden     
   Hilfe  Trennstrich  Sitemap  Trennstrich  Impressum  Trennstrich  Datenschutz  Trennstrich  node1  Trennstrich  Switch to english language
Studentisches Leben Veranstaltungen Einrichtungen Räume und Gebäude Personen Forschung

Publikation: Konferenz/Workshop

Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen: [10. GI/ITG/GMM-Workshop Modellierung und Verifikation]

Grunddaten

Titel Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen: [10. GI/ITG/GMM-Workshop Modellierung und Verifikation]
Untertitel 10. GI/ITG/GMM-Workshop Modellierung und Verifikation
Erscheinungsjahr 2007
Verlag Shaker
Verlagsort Aachen
Seitenzahl 273
Serie Berichte aus der Informatik
Publikationsform Druckschrift
Publikationsart Konferenz/Workshop
Sprache Deutsch
Tagungsname 10. Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (10. GI/ITG/GMM-Workshop Modellierung und Verifikation)
Organisator Fachgruppe Methoden des Entwurfs und der Verifikation Digitaler Schaltungen und Systeme / Fachgruppe Beschreibungssprachen und Modellierung von Schaltungen und Systemen
Tagungsort Erlangen
Tagungsdatum 05.-07.03.2007
ISBN 3-8322-5956-2
Letzte Änderung 17.01.2020 10:59:20
Bearbeitungsstatus durch UB Rostock abschließend validiert
Dauerhafte URL http://purl.uni-rostock.de/fodb/pub/42375
Links zu Katalogen Diese Publikation in der Universitätsbibliographie Diese Publikation im GBV-Katalog

Untergeordnete Publikationen

Seite 59 – 68 System level modeling and performance simulation for dynamic reconfigurable computing systems in systemC

Autoren

Haubelt, Christian Link zur UB Rostock Link zum GBV-Katalog
Teich, Jürgen

Einrichtung

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