Diagnosis of Single Transition Faults in Communicating Finite State Machines.

Abderrazak Ghedamsi, Gregor von Bochmann, Rachida Dssouli

Browse the full ICDCS paper archive.