Journal Articles
IEEE Transactions on Automatic Control
Year : 2017
Isabel Demongodin : Connect in order to contact the contributor
https://hal-amu.archives-ouvertes.fr/hal-01786028
Submitted on : Friday, May 4, 2018-7:41:52 PM
Last modification on : Wednesday, February 8, 2023-5:11:04 PM
Cite
Yin Tong, Zhiwu Li, Carla Seatzu, Alessandro Giua. Verification of State-Based Opacity Using Petri Nets. IEEE Transactions on Automatic Control, 2017, 62 (6), pp.2823 - 2837. ⟨10.1109/TAC.2016.2620429⟩. ⟨hal-01786028⟩
101
View
0
Download