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

Projekte

  • 1 Abschlussdatum

EU - Prosyd - Property-Based System Design

Pill, I. H., Staber, S. S., Griesmayer, A., Jobstmann, B. & Bloem, R.

1/01/0431/12/06

Projekt: Foschungsprojekt

Dieses zitieren

Staber, S. S., Jobstmann, B., & Bloem, R. P. (2005). Finding and Fixing Faults. in Correct Hardware Design and Verification Methods (Band 3725, S. 35-49). (Lecture notes in computer science). Berlin [u.a.]: Springer. https://doi.org/10.1007/11560548_6