KIT | KIT-Bibliothek | Impressum | Datenschutz

Practical methodology for the formal verification on RISC processors

Tahar, Sofiene; Kumar, Ramayya



Zugehörige Institution(en) am KIT Forschungszentrum Informatik, Karlsruhe (FZI)
Publikationstyp Buch
Publikationsjahr 1995
Sprache Englisch
Identifikator KITopen-ID: 291295
Erscheinungsvermerk Karlsruhe 1995. (FZI report. 1995,9.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page