KIT | KIT-Bibliothek | Impressum | Datenschutz

Formale Verifikation eines Sonet/SDH Framers

Thomas, A.; Becker, J.; Heinkel, U.; Winkelmann, K.; Bormann, J.



Zugehörige Institution(en) am KIT Institut für Technik der Informationsverarbeitung (ITIV)
Publikationstyp Proceedingsbeitrag
Jahr 2004
Sprache Deutsch
Identifikator KITopen-ID: 1000014157
Erschienen in DASS 2004 - Dresdner Arbeitstagung Schaltungs- und Systementwurf "Intellectual Property Prinzipien-Workshop", 19.- 20. April 2004, Dresden
Verlag Fraunhofer-Institut, Dresden
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page