Diagnostic Tests for Communicating Nondeterministic Finite State Machines

Rim Belhassine-Cherif, Abderrazak Ghedamsi. Diagnostic Tests for Communicating Nondeterministic Finite State Machines. In Proceedings of the Fifth IEEE Symposium on Computers and Communications (ISCC 2000), 4-6 July 2000, Antibes, France. pages 424-429, IEEE Computer Society, 2000. [doi]

Authors

Rim Belhassine-Cherif

This author has not been identified. Look up 'Rim Belhassine-Cherif' in Google

Abderrazak Ghedamsi

This author has not been identified. Look up 'Abderrazak Ghedamsi' in Google