上一条： Verification complexity of a class of observational properties for modular discrete events systems

下一条： A new approach for the verification of infinite-step and K-step opacity using two-way observers