Verification of Codiagnosability for Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions (Q5352760)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Verification of Codiagnosability for Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions |
scientific article; zbMATH DE number 6771553
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.8938511
0 references
0.8932931
0 references
0.8848897
0 references
0.8848897
0 references
0.88428146
0 references
0.8602623
0 references
0.8568715
0 references
0.8522344
0 references
0 references
0.8505325
0 references
