Formale Verifikation eines Sonet/SDH Framers

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

Seitenaufrufe: 218
seit 01.05.2018

Zugehörige Institution(en) am KIT	Institut für Technik der Informationsverarbeitung (ITIV)
Publikationstyp	Proceedingsbeitrag
Publikationsjahr	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