KIT | KIT-Bibliothek | Impressum | Datenschutz

Kontrollpfad-orientierte Verifikation generischer Datenpfade

Schneider, Klaus; Kropf, Thomas; Kumar, Ramayya


Zugehörige Institution(en) am KIT Fakultät für Informatik – Institut für Rechnerentwurf und Fehlertoleranz (IRF)
Publikationstyp Buchaufsatz
Publikationsjahr 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