External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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]

Authors

Birgit Hofer

This author has not been identified. Look up 'Birgit Hofer' in Google

Radu Mateescu 0001

This author has not been identified. Look up 'Radu Mateescu 0001' in Google

Wendelin Serwe

This author has not been identified. Look up 'Wendelin Serwe' in Google

Franz Wotawa

This author has not been identified. Look up 'Franz Wotawa' in Google
runs on