KIT | KIT-Bibliothek | Impressum | Datenschutz

Ein automatentheoretischer Ansatz zur Strukturabstraktion für die hierarchische Verifikation

Schneider, Klaus



Zugehörige Institution(en) am KIT Institut für Rechnerentwurf und Fehlertoleranz (IRF)
Sonderforschungsbereich 358 (SFB 358)
Publikationstyp Buchaufsatz
Publikationsjahr 1995
Sprache Deutsch
Identifikator KITopen-ID: 311995
Erscheinungsvermerk In: Tagungsband des 3. GI/ITG-Workshops Anwendung Formaler Methoden beim Entwurf von Hardwaresystemen, Passau 1995. Hrsg.: W. Grass. Aachen 1995. S. 79-87. (Berichte aus der Informatik.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page