KIT | KIT-Bibliothek | Impressum

Formalisierung eines Flußgraphmodells in Logik höherer Ordnung und dessen Anwendung in der Hardware-Verifikation

Reetz, Ralf; Kropf, Thomas



Zugehörige Institution(en) am KIT Sonderforschungsbereich 358 (SFB 358)
Institut für Rechnerentwurf und Fehlertoleranz (IRF)
Publikationstyp Buchaufsatz
Jahr 1994
Sprache Deutsch
Identifikator KITopen ID: 144094
Erscheinungsvermerk In: Tagungsband Rechnergestützter Entwurf und Architektur Mikroelektronischer Systeme, Oberwiesenthal 1994. Hrsg.: D. Monjau. Bonn : GI 1994. S. 193-202. (Informatik Xpress. 4.)(Vorträge der ... GI-ITG-GME-Fachtagung. 3.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page