Formale Verifikation eines Sonet/SDH Framers
| Zugehörige Institution(en) am KIT | Institut für Technik der Informationsverarbeitung (ITIV) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 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 Verlag |
| Seiten | 280 |