Diagnosability of Input Output Symbolic Transition Systems
| Title | Diagnosability of Input Output Symbolic Transition Systems |
| Publication Type | Conference Paper |
| Year of Publication | 2009 |
| Authors | Bourgne, G, Dague, P, Nouioua, F, Rapin, N |
| Conference Name | Proc. of International Conference on Advances in System Testing and Validation Lifecycle (VALID) |
- Log in to post comments
- Google Scholar
- BibTeX