Acte de conférence, colloque et atelier

Conformance Tests FSM

Petrenko, A. and Yevtushenko, N. "Conformance Tests as Checking Experiments for Partial Nondeterministic FSM" in Proceedings of the 5th International Workshop on Formal Approaches to Testing of Software (Fates 2005), pp. 185-200. Scotland, Edinburgh, UK
[Résumé]