Design and implementation of diagnostic strategies using modal logic (Q5235256)
From MaRDI portal
scientific article; zbMATH DE number 7114563
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Design and implementation of diagnostic strategies using modal logic |
scientific article; zbMATH DE number 7114563 |
Statements
Design and implementation of diagnostic strategies using modal logic (English)
0 references
8 October 2019
0 references
transition system
0 references
system description
0 references
diagnostic process
0 references
operational semantics
0 references
successor state
0 references
