KIT | KIT-Bibliothek | Impressum | Datenschutz

Verification by simulation comparison using interface synthesis

Hansen, Cordula; Kunzmann, Arno; Rosenstiel, Wolfgang


Zugehörige Institution(en) am KIT Universität Karlsruhe (TH) – Einrichtungen in Verbindung mit der Universität (Einrichtungen in Verbindung mit der Universität)
FZI Forschungszentrum Informatik (FZI)
Publikationstyp Buchaufsatz
Publikationsjahr 1998
Sprache Deutsch
Identifikator KITopen-ID: 310898
Erscheinungsvermerk In: Design, Automation and Test in Europe, DATE 98, Paris 1998.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page