KIT | KIT-Bibliothek | Impressum

Hardware-Verifikation braucht mehr als Model-Checking

Schneider, Klaus; Kropf, Thomas; Kumar, Ramayya



Zugehörige Institution(en) am KIT Forschungszentrum Informatik, Karlsruhe (FZI)
Sonderforschungsbereich 358 (SFB 358)
Publikationstyp Buchaufsatz
Jahr 1994
Sprache Deutsch
Identifikator KITopen ID: 196494
Erscheinungsvermerk In: Anwendung formaler Methoden im Systementwurf. Frankfurt, M. 1994. (Interner Bericht. Fachbereich Informatik, Universität Frankfurt. 1994,6.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page