Finding and Fixing Faults

Stefan Simon Staber, Barbara Jobstmann, Roderick Paul Bloem

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem Konferenzband

Originalspracheenglisch
TitelCorrect Hardware Design and Verification Methods
ErscheinungsortBerlin [u.a.]
Herausgeber (Verlag)Springer
Seiten35-49
Band3725
ISBN (Print)3-540-29105-9
DOIs
PublikationsstatusVeröffentlicht - 2005
VeranstaltungAdvanced Research Working Conference on Correct Hardware Design and Verification Methods - Saarbruecken, Deutschland
Dauer: 3 Okt 20056 Okt 2005

Publikationsreihe

NameLecture notes in computer science
Herausgeber (Verlag)Springer

Konferenz

KonferenzAdvanced Research Working Conference on Correct Hardware Design and Verification Methods
LandDeutschland
OrtSaarbruecken
Zeitraum3/10/056/10/05

Treatment code (Nähere Zuordnung)

  • Application
  • Theoretical

Dieses zitieren