Kategorie:Publication
Z ApolloWiki
Stránky v kategorii „Publication“
Zobrazuje se 16 stránek z celkového počtu 16 stránek v této kategorii.
M
O
- On Opacity Verification for Discrete-Event Systems
- On Transformations among Opacity Notions
- On Verification of D-Detectability for Discrete Event Systems
- On Verification of Strong Periodic D-Detectability for Discrete Event Systems
- On Verification of Weak and Strong k-Step Opacity for Discrete-Event Systems