Erschienen: 30.04.2012 Abbildung von Brandt / Schneider | Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen | 2012 | MBMV 2012 | 68

Brandt / Schneider

Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen

MBMV 2012

lieferbar, ca. 10 Tage

2012. Buch. 218 S. 40 s/w-Abbildungen, 20 s/w-Tabelle. Softcover

Kovac. ISBN 978-3-8300-6201-1

Format (B x L): 14,8 x 21 cm

Gewicht: 278 g

Das Werk ist Teil der Reihe: Forschungsergebnisse zur Informatik; 68

Produktbeschreibung

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 Koopera­tionsgemeinschaft "Rechnergestützter Schaltungs- und System­entwurf (RSS)" der Gesellschaft für Informatik (GI), der Informations­technischen Gesellschaft im VDE (ITG) und der Gesellschaft für Mikro­elektronik, 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 Beschreibungs­sprachen digitaler, analoger und Mixed-Signal-Schaltungen zu diskutieren und Ideen auszutauschen.

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

Autoren

  • Dieses Set enthält folgende Produkte:
      Auch in folgendem Set erhältlich:
      • nach oben

        Ihre Daten werden geladen ...