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 contributionResearchpeer-review

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

Towards a Model for Automated Fault Localization in VHDL Designs: Exploring Counterexamples Using a Model-Based Diagnosis Approach. / Wotawa, Franz; Peischl, Bernhard.

International Workshop on Principles of Diagnosis. ., 2004. p. 161-166.

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

Wotawa, F & Peischl, B 2004, Towards a Model for Automated Fault Localization in VHDL Designs: Exploring Counterexamples Using a Model-Based Diagnosis Approach. in International Workshop on Principles of Diagnosis. ., pp. 161-166, International Workshop on Principles of Diagnosis, Carcassonne, France, 23/06/04.
@inproceedings{c6e526a3593c4b398fc04e966d9afc23,
title = "Towards a Model for Automated Fault Localization in VHDL Designs: Exploring Counterexamples Using a Model-Based Diagnosis Approach",
author = "Franz Wotawa and Bernhard Peischl",
year = "2004",
language = "English",
pages = "161--166",
booktitle = "International Workshop on Principles of Diagnosis",
publisher = ".",

}

TY - GEN

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

AU - Wotawa, Franz

AU - Peischl, Bernhard

PY - 2004

Y1 - 2004

M3 - Conference contribution

SP - 161

EP - 166

BT - International Workshop on Principles of Diagnosis

PB - .

ER -