[IEEE 2016 13th International Workshop on Discrete Event Systems (WODES) - Xi'an, China (2016.5.30-2016.6.1)] 2016 13th International Workshop on Discrete Event Systems (WODES) - Programming a fast explicit conflict checker
- 作者Malik, Robi
- 文件大小174.81KB
- 发表时间2016
- DOI10.1109/WODES.2016.7497885
- 页码438-443
[IEEE 2016 13th International Workshop on Discrete Event Systems (WODES) - Xi'an, China (2016.5.30-2016.6.1)] 2016 13th International Workshop on Discrete Event Systems (WODES) - [Front cover]2016
[IEEE 2016 13th International Workshop on Discrete Event Systems (WODES) - Xi'an, China (2016.5.30-2016.6.1)] 2016 13th International Workshop on Discrete Event Systems (WODES) - Preface [Front matter]2016
[IEEE 2016 13th International Workshop on Discrete Event Systems (WODES) - Xi'an, China (2016.5.30-2016.6.1)] 2016 13th International Workshop on Discrete Event Systems (WODES) - Incremental scheduling of discrete event systemsWare, Simon; Su, Rong · 2016
[IEEE 2016 13th International Workshop on Discrete Event Systems (WODES) - Xi'an, China (2016.5.30-2016.6.1)] 2016 13th International Workshop on Discrete Event Systems (WODES) - Probabilistic system opacity in discrete event systemsKeroglou, Christoforos; Hadjicostis, Christoforos N. · 2016
[IEEE 2016 13th International Workshop on Discrete Event Systems (WODES) - Xi'an, China (2016.5.30-2016.6.1)] 2016 13th International Workshop on Discrete Event Systems (WODES) - Enforcing opacity with Orwellian observationYeddes, Moez · 2016
[IEEE 2016 13th International Workshop on Discrete Event Systems (WODES) - Xi'an, China (2016.5.30-2016.6.1)] 2016 13th International Workshop on Discrete Event Systems (WODES) - Diagnosability of repairable faultsFabre, Eric; Helouet, Loic; Lefaucheux, Engel; Marchand, Herve · 2016
[IEEE 2016 13th International Workshop on Discrete Event Systems (WODES) - Xi'an, China (2016.5.30-2016.6.1)] 2016 13th International Workshop on Discrete Event Systems (WODES) - Modular supervisory control of networked discrete-event systemsKomenda, Jan; Lin, Feng · 2016
[IEEE 2016 13th International Workshop on Discrete Event Systems (WODES) - Xi'an, China (2016.5.30-2016.6.1)] 2016 13th International Workshop on Discrete Event Systems (WODES) - Programming a fast explicit conflict checkerMalik, Robi · 2016