Finding and Fixing Faults

Stefan Simon Staber, Barbara Jobstmann, Roderick Paul Bloem

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Original languageEnglish
Title of host publicationCorrect Hardware Design and Verification Methods
Place of PublicationBerlin [u.a.]
PublisherSpringer
Pages35-49
Volume3725
ISBN (Print)3-540-29105-9
DOIs
Publication statusPublished - 2005
EventAdvanced Research Working Conference on Correct Hardware Design and Verification Methods - Saarbruecken, Germany
Duration: 3 Oct 20056 Oct 2005

Publication series

NameLecture notes in computer science
PublisherSpringer

Conference

ConferenceAdvanced Research Working Conference on Correct Hardware Design and Verification Methods
CountryGermany
CitySaarbruecken
Period3/10/056/10/05

Treatment code (Nähere Zuordnung)

  • Application
  • Theoretical

Cite this

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