Cited By
View all- Xu ZJulius A(2019)Robust Temporal Logic Inference for Provably Correct Fault Detection and Privacy Preservation of Switched SystemsIEEE Systems Journal10.1109/JSYST.2019.290616013:3(3010-3021)Online publication date: Sep-2019
- Li TMa JPei QSong HShen YSun C(2019)DAPV: Diagnosing Anomalies in MANETs Routing With Provenance and VerificationIEEE Access10.1109/ACCESS.2019.29031507(35302-35316)Online publication date: 2019
- Li TMa JSun C(2019)SRDPVWireless Networks10.1007/s11276-017-1625-825:4(1731-1747)Online publication date: 1-May-2019
- Show More Cited By