MBMV 2014 Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen ; [der siebzehnte gemeinsame Workshop der Fachgruppe 3 und 4 der Kooperationsgemeinschaft "Rechnergestützter Schaltungs- und Systementwurf (RSS)" der Gesellschaft für Informatik (GI) ... ; Böblingen, 2014]

Bibliographische Detailangaben

Körperschaften:	Kooperationsgemeinschaft Rechnergestützter Schaltungs- und Systementwurf (BerichterstatterIn), MBMV (BerichterstatterIn)
Weitere Verfasser:	Ruf, Jürgen (BerichterstatterIn), Allmendinger, Dirk (BerichterstatterIn), Michel, Matteo (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	ger
Veröffentlicht:	Göttingen Cuvillier 2014
Ausgabe:	1. Aufl.
Schlagworte:	Konferenzschrift > Entwurfsautomation > Systemsynthese > Modellierung > Beschreibungssprache > Verifikation > Kongress
Online Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!