KIT | KIT-Bibliothek | Impressum

Formale Verifikation eines Sonet/SDH Framers

Becker, J.; Thomas, A.; 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 ISBN: 3-8322-2486-6
KITopen ID: 1000021182
Erschienen in Vortrag / Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 7. GIT/ITG/GMM-Workshop Modellierung und Verifikation. Hrsg.: D. Stoffel
Verlag Shaker, Aachen
Seiten 280
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page