Verification of State-Based Opacity Using Petri Nets 论文

2016IEEE Transactions on Automatic Control引用 269
DOIPDF
Petri Nets in System ModelingDistributed systems and fault toleranceFormal Methods in Verification
Distributed systems and fault tolerancePetri Nets in System ModelingFormal Methods in Verification
相关技术:Petri Nets in System ModelingFormal Methods in Verification
关系图谱

Verification of State-Based Opacity Using Petri Nets · 作者

A

Alessandro Giua

C

Carla Seatzu

Z

Zhiwu Li

Y

Yin Tong