Verification of Codiagnosability for Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions (Q5352760)
From MaRDI portal
scientific article; zbMATH DE number 6771553
Language | Label | Description | Also known as |
---|---|---|---|
English | Verification of Codiagnosability for Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions |
scientific article; zbMATH DE number 6771553 |
Statements
Verification of Codiagnosability for Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions (English)
0 references
8 September 2017
0 references