KIT | KIT-Bibliothek | Impressum

Kontrollpfad-orientierte Verifikation generischer Datenpfade

Schneider, Klaus; Kropf, Thomas; Kumar, Ramayya



Zugehörige Institution(en) am KIT Institut für Rechnerentwurf und Fehlertoleranz (IRF)
Publikationstyp Buchaufsatz
Jahr 1994
Sprache Deutsch
Identifikator KITopen ID: 31994
Erscheinungsvermerk In: Entwurf integrierter Schaltungen. Hrsg.: R. Camposano. Sankt Augustin 1994. S. 249-256. (GMD-Studien. 227.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page