1.Strong Current-State Opacity Verification of Discrete-Event Systems Modeled with Time Labeled Petri Nets
Qin, T, Yin, L, Liu,
More...
Qin, T, Yin, L, Liu, GY, Wu, NQ, Li, ZW
Less
IEEE-CAA JOURNAL OF AUTOMATICA SINICA[2329-9266],
Published 2025,
Volume 12,
Issue 1,
Pages 54-68
收錄情况:
WOS
SCOPUS
WOS核心合集引用: 2
2023影響因子:
15.3