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 proceeding › Conference paper › peer-review

Original language	English
Title of host publication	International Workshop on Principles of Diagnosis
Publisher	.
Pages	161-166
Publication status	Published - 2004
Event	International Workshop on Principles of Diagnosis - Carcassonne, France Duration: 23 Jun 2004 → 25 Jun 2004

Conference	International Workshop on Principles of Diagnosis
Country/Territory	France
City	Carcassonne
Period	23/06/04 → 25/06/04

Treatment code (Nähere Zuordnung)

@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 = ".",

note = "International Workshop on Principles of Diagnosis ; Conference date: 23-06-2004 Through 25-06-2004",

}

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 paper

SP - 161

EP - 166

BT - International Workshop on Principles of Diagnosis

PB - .

T2 - International Workshop on Principles of Diagnosis

Y2 - 23 June 2004 through 25 June 2004

ER -