Diagnosis of Higher-Order Discrete-Event Systems

Gianfranco Lamperti, Xiangfu Zhao. Diagnosis of Higher-Order Discrete-Event Systems. In Alfredo Cuzzocrea, Christian Kittl, Dimitris E. Simos, Edgar Weippl, Lida Xu, editors, Availability, Reliability, and Security in Information Systems and HCI - IFIP WG 8.4, 8.9, TC 5 International Cross-Domain Conference, CD-ARES 2013, Regensburg, Germany, September 2-6, 2013. Proceedings. Volume 8127 of Lecture Notes in Computer Science, pages 162-177, Springer, 2013. [doi]

Abstract

Abstract is missing.