Using LNT Formal Descriptions for Model-Based Diagnosis

Franz Wotawa, Birgit Gertraud Hofer, Radu Mateescu, Wendelin Serwe

Research output: Contribution to conferencePaperResearchpeer-review

Original languageEnglish
Publication statusPublished - 2018
Event29th International Workshop on Principles of Diagnosis, DX 2018 - Warsaw, Poland
Duration: 27 Aug 201830 Aug 2018

Conference

Conference29th International Workshop on Principles of Diagnosis, DX 2018
CountryPoland
CityWarsaw
Period27/08/1830/08/18

Cite this

Wotawa, F., Hofer, B. G., Mateescu, R., & Serwe, W. (2018). Using LNT Formal Descriptions for Model-Based Diagnosis. Paper presented at 29th International Workshop on Principles of Diagnosis, DX 2018, Warsaw, Poland.

Using LNT Formal Descriptions for Model-Based Diagnosis. / Wotawa, Franz; Hofer, Birgit Gertraud; Mateescu, Radu; Serwe, Wendelin.

2018. Paper presented at 29th International Workshop on Principles of Diagnosis, DX 2018, Warsaw, Poland.

Research output: Contribution to conferencePaperResearchpeer-review

Wotawa, F, Hofer, BG, Mateescu, R & Serwe, W 2018, 'Using LNT Formal Descriptions for Model-Based Diagnosis' Paper presented at 29th International Workshop on Principles of Diagnosis, DX 2018, Warsaw, Poland, 27/08/18 - 30/08/18, .
Wotawa F, Hofer BG, Mateescu R, Serwe W. Using LNT Formal Descriptions for Model-Based Diagnosis. 2018. Paper presented at 29th International Workshop on Principles of Diagnosis, DX 2018, Warsaw, Poland.
Wotawa, Franz ; Hofer, Birgit Gertraud ; Mateescu, Radu ; Serwe, Wendelin. / Using LNT Formal Descriptions for Model-Based Diagnosis. Paper presented at 29th International Workshop on Principles of Diagnosis, DX 2018, Warsaw, Poland.
@conference{a728c143ef8347cca60c1c27198c17f1,
title = "Using LNT Formal Descriptions for Model-Based Diagnosis",
author = "Franz Wotawa and Hofer, {Birgit Gertraud} and Radu Mateescu and Wendelin Serwe",
year = "2018",
language = "English",
note = "29th International Workshop on Principles of Diagnosis, DX 2018 ; Conference date: 27-08-2018 Through 30-08-2018",

}

TY - CONF

T1 - Using LNT Formal Descriptions for Model-Based Diagnosis

AU - Wotawa, Franz

AU - Hofer, Birgit Gertraud

AU - Mateescu, Radu

AU - Serwe, Wendelin

PY - 2018

Y1 - 2018

M3 - Paper

ER -