Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen

Carsten Gremzow, Nico Moser (Herausgeber)

Buch | Softcover

IV, 248 Seiten

2009
Technische Uni Berlin (Verlag)
978-3-7983-2118-2 (ISBN)

Titel ist leider vergriffen;
keine Neuauflage

Artikel merken

Der Workshop “Methoden und Beschreibungssprachen zur Modellierung und
Verifikation von Schaltungen und Systemen” ist ein Forum, um Trends, neueste
Ergebnisse und aktuelle Probleme auf dem Gebiet der Methoden zur Modellierung
und Verifikation sowie der Beschreibungssprachen digitaler, analoger und Mixed-
Signal-Schaltungen zu diskutieren. Der Austausch von Ideen ist ein wichtiges
Anliegen dieses Workshops.

Zusatzinfo	zahlr. Abb.
Sprache	englisch; deutsch
Maße	148 x 210 mm
Gewicht	337 g
Einbandart	Paperback
Themenwelt	Technik ► Elektrotechnik / Energietechnik
Schlagworte	Beschreibungssprachen • Entwurfsautomatisierung • Modellierung • Systemsynthese • Verifikation
ISBN-10	3-7983-2118-3 / 3798321183
ISBN-13	978-3-7983-2118-2 / 9783798321182
Zustand	Neuware