[IEEE 2009 American Control Conference - St. Louis, MO, USA (2009.06.10-2009.06.12)] 2009 American Control Conference - Verification and synthesis for secrecy in discrete-event systems
Takai, Shigemasa, Kumar, RatneshYear:
2009
Language:
english
DOI:
10.1109/acc.2009.5160162
File:
PDF, 753 KB
english, 2009