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

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Originalsprache	englisch
Titel	International Workshop on Principles of Diagnosis
Herausgeber (Verlag)	.
Seiten	161-166
Publikationsstatus	Veröffentlicht - 2004
Veranstaltung	International Workshop on Principles of Diagnosis - Carcassonne, Frankreich Dauer: 23 Juni 2004 → 25 Juni 2004

Konferenz	International Workshop on Principles of Diagnosis
Land/Gebiet	Frankreich
Ort	Carcassonne
Zeitraum	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 -