![](/img/cover-not-exists.png)
Empirical studies in the size of diagnosers and verifiers for diagnosability analysis
Clavijo, Leonardo Bermeo, Basilio, João C.Volume:
27
Language:
english
Journal:
Discrete Event Dynamic Systems
DOI:
10.1007/s10626-017-0260-y
Date:
December, 2017
File:
PDF, 4.35 MB
english, 2017