![](/img/cover-not-exists.png)
[IEEE 2012 24th Chinese Control and Decision Conference (CCDC) - Taiyuan, China (2012.05.23-2012.05.25)] 2012 24th Chinese Control and Decision Conference (CCDC) - Polynomial algorithms to check opacity in discrete event systems
Bo Zhang,, Shu, Shaolong, Lin, FengYear:
2012
Language:
english
DOI:
10.1109/ccdc.2012.6244117
File:
PDF, 303 KB
english, 2012