Using LNT Formal Descriptions for Model-Based Diagnosis

Birgit Hofer, Radu Mateescu 0001, Wendelin Serwe, Franz Wotawa. Using LNT Formal Descriptions for Model-Based Diagnosis. In Louise Travé-Massuyès, Anna Sztyber, editors, Proceedings of the 29th International Workshop on Principles of Diagnosis co-located with 10th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes (SAFEPROCESS 2018), Warsaw, Poland, 27-30 August, 2018. Volume 2289 of CEUR Workshop Proceedings, CEUR-WS.org, 2018. [doi]

Abstract

Abstract is missing.