Coverabbildung: Tagungsband, „Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen“ von Jens Brandt & Klaus Schneider (Hrsg.)

Jens Brandt & Klaus Schneider (Hrsg.) Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen

MBMV 2012

Hamburg 2012, 218 Seiten

Zum Inhalt

Der Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV 2012) ist bereits das fünfzehnte gemeinsame Treffen der Fachgruppen 3 und 4 der Kooperationsgemeinschaft "Rechnergestützter Schaltungs- und Systementwurf (RSS)" der Gesellschaft für Informatik (GI), der Informationstechnischen Gesellschaft im VDE (ITG) und der Gesellschaft für Mikroelektronik, Mikro- und Feinwerktechnik (GMM). Ziel der Veranstaltung ist es, neueste Trends, Ergebnisse und aktuelle Probleme auf dem Gebiet der Methoden zur Modellierung und Verifikation sowie der Beschreibungssprachen digitaler, analoger und Mixed-Signal-Schaltungen zu diskutieren und Ideen auszutauschen.

Dieser Tagungsband enthält die Beiträge aller Autoren.

Schlagworte

Beschreibungssprachen Codesgin Elektro-/Informationstechnik Formale Modellierung Formale Verifikation Informatik Simulation Systementwurf

Bibliografische Daten

Herausgeber	Jens Brandt & Klaus Schneider (Hrsg.)
Titel	Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Untertitel	MBMV 2012
Seiten	218
Erscheinungsjahr	2012
Erscheinungsdatum	23.02.2012
Ort	Hamburg
ISBN (Print)	978-3-8300-6201-1
eISBN (eBook)	978-3-339-06201-7
Schriftenreihe	Forschungsergebnisse zur Informatik
Band	68

Erwerbungsvorschläge

Sie können Ihrer Bibliothek auch einen Erwerbungsvorschlag für dieses Buch unterbreiten.

-Import

Mit der Browser-Erweiterung Zotero Connector können Sie die auf dieser Seite hinterlegten COinS-Metadaten direkt in Ihre Literaturverwaltung übernehmen.

Weitere Exportformate für Katalogisierung und Zitation

MARC 21

=020  978-3-8300-6201-1
=100  Jens Brandt; Klaus Schneider
=245  10$aMethoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : $bMBMV 2012
=264  Hamburg : $bVerlag Dr. Kovač, $c2012
=490  0Forschungsergebnisse zur Informatik
=300  218 Seiten
=650  Informatik
=650  Elektro-/Informationstechnik
=650  Systementwurf
=650  Beschreibungssprachen
=650  Codesgin
=650  Formale Verifikation
=650  Simulation
=650  Formale Modellierung
=650  : Informatik

MARC 21 herunterladen

BibTeX

@book{schneider2012-methoden,
  editor    = {Jens Brandt and Klaus Schneider},
  title     = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen: MBMV 2012},
  year      = {2012},
  publisher = {Verlag Dr. Kovač},
  series    = {Forschungsergebnisse zur Informatik},
  isbn      = {978-3-8300-6201-1},
  address   = {Hamburg},
  pages     = {218},
  fachbereich = {Informatik},
  keywords    = {Informatik, Elektro-/Informationstechnik, Systementwurf, Beschreibungssprachen, Codesgin, Formale Verifikation, Simulation, Formale Modellierung},
}

BibTeX herunterladen

RIS (für EndNote, Zotero, Citavi …)

TY  - BOOK
ED  - Jens Brandt
ED  - Klaus Schneider
TI  - Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen: MBMV 2012
PY  - 2012
PB  - Verlag Dr. Kovač
T3  - Forschungsergebnisse zur Informatik
SN  - 978-3-8300-6201-1
CY  - Hamburg
N1  - 218 Seiten
SP  - Fachbereich: Informatik
KW  - Informatik
KW  - Elektro-/Informationstechnik
KW  - Systementwurf
KW  - Beschreibungssprachen
KW  - Codesgin
KW  - Formale Verifikation
KW  - Simulation
KW  - Formale Modellierung
ER  -

RIS herunterladen

Ihr Werk im Verlag Dr. Kovač

Informationen: Wir publizieren Ihren Tagungsband >>