Dianosis- Ein Tool zur automatischen Generierung von Eigenschaften für die Hardware-Verifikation durch dynamische Analyse von Simulationstraces

Publikation: Hochschulschrift/Abschlussarbeit › Masterarbeit

Beitragende

  • Thomas Klotz - (Autor:in)

Details

OriginalspracheDeutsch
PublikationsstatusVeröffentlicht - 1 Sept. 2007
Extern publiziertJa
No renderer: customAssociatesEventsRenderPortal,dk.atira.pure.api.shared.model.researchoutput.Thesis