Symbolic Testing of Diagnosability

Alban Grastien

Symbolic Testing of Diagnosability

Alban Grastien

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › peer-review

Original language	English
Title of host publication	Proceedings of The 20th International Workshop on Principles of Diagnosis (DX 2009)
Editors	E. Frisk, M. Nyberg, M. Krysander, J. Aslund
Place of Publication	Sweden
Publisher	Linkoping University Institute of Technology
Pages	131-138
Edition	1st - Peer Reviewed
Publication status	Published - 2009
Event	International Workshop on Principles of Diagnosis (DX 2009) - Stockholm Sweden, Sweden Duration: 1 Jan 2009 → … http://www.isy.liu.se/dx09/papers/proceedings-dx09.pdf

Conference

Conference	International Workshop on Principles of Diagnosis (DX 2009)
Country/Territory	Sweden
Period	1/01/09 → …
Other	June 14-17 2009
Internet address	http://www.isy.liu.se/dx09/papers/proceedings-dx09.pdf

Cite this

@inproceedings{43334c9c07014bea89642b0917a68759,

title = "Symbolic Testing of Diagnosability",

author = "Alban Grastien",

year = "2009",

language = "English",

pages = "131--138",

editor = "\{E. Frisk, M. Nyberg, M. Krysander, J. Aslund\}",

booktitle = "Proceedings of The 20th International Workshop on Principles of Diagnosis (DX 2009)",

publisher = "Linkoping University Institute of Technology",

edition = "1st - Peer Reviewed",

note = "International Workshop on Principles of Diagnosis (DX 2009) ; Conference date: 01-01-2009",

url = "http://www.isy.liu.se/dx09/papers/proceedings-dx09.pdf",

}

Symbolic Testing of Diagnosability. / Grastien, Alban.
Proceedings of The 20th International Workshop on Principles of Diagnosis (DX 2009). ed. / E. Frisk, M. Nyberg, M. Krysander, J. Aslund. 1st - Peer Reviewed. ed. Sweden: Linkoping University Institute of Technology, 2009. p. 131-138.

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › peer-review

TY - GEN

T1 - Symbolic Testing of Diagnosability

AU - Grastien, Alban

PY - 2009

Y1 - 2009

M3 - Conference Paper

SP - 131

EP - 138

BT - Proceedings of The 20th International Workshop on Principles of Diagnosis (DX 2009)

A2 - null, E. Frisk, M. Nyberg, M. Krysander, J. Aslund

PB - Linkoping University Institute of Technology

CY - Sweden

T2 - International Workshop on Principles of Diagnosis (DX 2009)

Y2 - 1 January 2009

ER -