![](/img/cover-not-exists.png)
Verifying Diagnosability of Discrete Event System with Logical Formula
Geng, Xuena, Ouyang, Dantong, Han, ChengVolume:
29
Journal:
Chinese Journal of Electronics
DOI:
10.1049/cje.2020.01.008
Date:
March, 2020
File:
PDF, 1.93 MB
2020