Parametri
Maggiori informazioni sul libro
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.
Acquisto del libro
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, Jens Brandt
- Lingua
- Pubblicato
- 2012
Metodi di pagamento
Ancora nessuna valutazione.