KIT | KIT-Bibliothek | Impressum | Datenschutz

Erstellung korrekter Spezifikationen für diskrete Systeme

Ziller, Roberto M.; Schmid, Detlef



Zugehörige Institution(en) am KIT Institut für Technische Informatik (ITEC)
Publikationstyp Proceedingsbeitrag
Jahr 2006
Sprache Deutsch
Identifikator ISBN: 3-9810287-1-6
KITopen-ID: 1000095448
Erschienen in Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : 9. ITG/GI/GMM Workshop, 20. - 22. Februar 2006 in Dresden
Verlag Fraunhofer-Institut für Integrierte Schaltungen, Außenstelle Entwurfsautomatisierung, Dresden
Seiten 359–368
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page