Published in
Institute of Electrical and Electronics Engineers, IEEE Transactions on Systems, Man, and Cybernetics: Systems, 4(49), p. 742-751, 2019
DOI: 10.1109/tsmc.2017.2710132
Links
Tools
Model-Based Fault Diagnosis System Verification Using Reachability Analysis
Journal article published in 2017 by
Jinya Su 
,
Wen-Hua Chen
,
Wen-Hua Chen
This paper is made freely available by the publisher.
Full text: Download
Published version:
archiving forbidden
Data provided by 