KIT | KIT-Bibliothek | Impressum

A unified approach for combining different formalisms for hardware verification

Schneider, Klaus; Kropf, Thomas



Zugehörige Institution(en) am KIT Institut für Rechnerentwurf und Fehlertoleranz (IRF)
Publikationstyp Buchaufsatz
Jahr 1996
Sprache Englisch
Identifikator KITopen ID: 337696
Erscheinungsvermerk In: Formal methods in computer-aided design. FMCAD '96. Ed.: M. Srivas. Berlin 1996. (Lecture notes in computer science. 1166.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page