上一条： A new approach for the verification of infinite-step and K-step opacity using two-way observers
下一条： Supervisor synthesis for mealy automata with output functions: A model transformation approach
