KIT | KIT-Bibliothek | Impressum

A flowgraph model for formalizing the semantics of VHDL in HOL

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 Englisch
Identifikator KITopen ID: 143994
Erscheinungsvermerk In: Proceedings. 1st EuroFORM Workshop, Las Navas del Marque, Avila, Spain, Univ. Politecnica de Madrid 1994. Ed.: C.D. Kloos.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page