Using LNT Formal Descriptions for Model-Based Diagnosis

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

Research output: Contribution to conferencePaper

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