上一条: Opacity enforcing supervisory control using non-deterministic supervisors
下一条: Opacity of Nondeterministic Transition Systems: A (Bi)Simulation Relation Approach