Open AccessUsing LNT Formal Descriptions for Model-Based Diagnosis
Author(s) -
Birgit Hofer,
Radu Mateescu,
Wendelin Serwe,
Franz Wotawa
Publication year - 2018
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - Uncategorized
Resource type - Conference proceedings
Subject(s) - computer science , formal verification , context (archaeology) , formal methods , simple (philosophy) , formal language , task (project management) , artificial intelligence , formal specification , face (sociological concept) , modeling language , programming language , natural language processing , software engineering , machine learning , software , systems engineering , linguistics , paleontology , philosophy , epistemology , engineering , biology