Reduced-Complexity Verification for Initial-State Opacity in Modular Discrete Event Systems
Saboori, Anooshiravan, Hadjicostis, Christoforos N.Volume:
43
Year:
2010
Language:
english
Journal:
IFAC Proceedings Volumes
DOI:
10.3182/20100830-3-de-4013.00015
File:
PDF, 155 KB
english, 2010