Finding and Fixing Faults

Stefan Simon Staber, Barbara Jobstmann, Roderick Paul Bloem

Research output: Chapter in Book/Report/Conference proceedingConference paper

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