Erstellung korrekter Spezifikationen für diskrete Systeme
| Zugehörige Institution(en) am KIT | Institut für Technische Informatik (ITEC) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 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 |
| Seiten | 359–368 |