Using LNT Formal Descriptions for Model-Based Diagnosis

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

Publikation: KonferenzbeitragPaperForschungBegutachtung

Originalspracheenglisch
PublikationsstatusVeröffentlicht - 2018
Veranstaltung29th International Workshop on Principles of Diagnosis, DX 2018 - Warsaw, Polen
Dauer: 27 Aug 201830 Aug 2018

Konferenz

Konferenz29th International Workshop on Principles of Diagnosis, DX 2018
LandPolen
OrtWarsaw
Zeitraum27/08/1830/08/18

Dies zitieren

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

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

2018. Beitrag in 29th International Workshop on Principles of Diagnosis, DX 2018, Warsaw, Polen.

Publikation: KonferenzbeitragPaperForschungBegutachtung

Wotawa, F, Hofer, BG, Mateescu, R & Serwe, W 2018, 'Using LNT Formal Descriptions for Model-Based Diagnosis' Beitrag in, Warsaw, Polen, 27/08/18 - 30/08/18, .
Wotawa F, Hofer BG, Mateescu R, Serwe W. Using LNT Formal Descriptions for Model-Based Diagnosis. 2018. Beitrag in 29th International Workshop on Principles of Diagnosis, DX 2018, Warsaw, Polen.
Wotawa, Franz ; Hofer, Birgit Gertraud ; Mateescu, Radu ; Serwe, Wendelin. / Using LNT Formal Descriptions for Model-Based Diagnosis. Beitrag in 29th International Workshop on Principles of Diagnosis, DX 2018, Warsaw, Polen.
@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 -