Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen 9. ITG/GI/GMM Workshop, 20. - 22. Februar 2006 in Dresden

Gespeichert in:

Bibliographische Detailangaben
Körperschaften:	Fraunhofer-Institut für Integrierte Schaltungen (BerichterstatterIn), Informationstechnische Gesellschaft (BerichterstatterIn), Gesellschaft für Informatik (BerichterstatterIn), Gesellschaft Mikroelektronik, Mikro- und Feinwerktechnik (BerichterstatterIn), Fachgruppe Methoden des Entwurfs und der Verifikation Digitaler Schaltungen und Systeme (BerichterstatterIn), Fachgruppe Beschreibungssprachen und Modellierung von Schaltungen und Systemen (BerichterstatterIn)
Weitere Verfasser:	Straube, Bernd (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Dresden Fraunhofer-Institut für Integrierte Schaltungen, Außenstelle Entwurfsautomatisierung 2006
Schlagworte:	Konferenzschrift > CD-ROM > Entwurfsautomation > Systemsynthese > Beschreibungssprache > Spezifikationstechnik > Verifikation > Wiederverwendung
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	Parallel als Buch-Ausg. erschienen
Beschreibung:	1 CD-ROM
ISBN:	3981028716 3-9810287-1-6