Fault Diagnosis in Extended Finite State Machines

Khaled El-Fakih, Svetlana Prokopenko, Nina Yevtushenko, Gregor von Bochmann. Fault Diagnosis in Extended Finite State Machines. In Dieter Hogrefe, Anthony Wiles, editors, Testing of Communicating Systems, 15th IFIP International Conference, TestCom 2003, Sophia Antipolis, France, May 26-28, 2003, Proceedings. Volume 2644 of Lecture Notes in Computer Science, pages 197-210, Springer, 2003. [doi]

Abstract

Abstract is missing.