Specification and Model-Based Diagnosis of Higher-Order Discrete-Event Systems

Gianfranco Lamperti, Xiangfu Zhao. Specification and Model-Based Diagnosis of Higher-Order Discrete-Event Systems. In IEEE International Conference on Systems, Man, and Cybernetics, Manchester, SMC 2013, United Kingdom, October 13-16, 2013. pages 2342-2347, IEEE, 2013. [doi]

Authors

Gianfranco Lamperti

This author has not been identified. Look up 'Gianfranco Lamperti' in Google

Xiangfu Zhao

This author has not been identified. Look up 'Xiangfu Zhao' in Google