Overview of discrete event systems opacity: Models, validation, and quantification 论文

2016Annual Reviews in Control引用 217
Petri Nets in System ModelingDistributed systems and fault toleranceReal-Time Systems Scheduling

Overview of discrete event systems opacity: Models, validation, and quantification · 相关技术