1.Verification of Current-State Opacity in Time Labeled Petri Nets With Its Application to Smart Houses
Qin, T, Yin, L, Wu,
More...
Qin, T, Yin, L, Wu, NQ, Li, ZW
Less
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING[1545-5955],
Published 2023,
收錄情况:
WOS
SCOPUS
WOS核心合集引用: 2
2023影響因子:
5.9
发表年影響因子:
5.9