Towards a Model for Automated Fault Localization in VHDL Designs: Exploring Counterexamples Using a Model-Based Diagnosis Approach

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

Original languageEnglish
Title of host publicationInternational Workshop on Principles of Diagnosis
Publisher.
Pages161-166
Publication statusPublished - 2004
EventInternational Workshop on Principles of Diagnosis - Carcassonne, France
Duration: 23 Jun 200425 Jun 2004

Conference

ConferenceInternational Workshop on Principles of Diagnosis
CountryFrance
CityCarcassonne
Period23/06/0425/06/04

Treatment code (Nähere Zuordnung)

  • Basic - Fundamental (Grundlagenforschung)

Cite this