Acte de conférence, colloque et atelier

Testing Transition Systems ...

Petrenko, A., Yevtushenko, N. and Huo, J. L. "Testing Transition Systems with Input and Output Testers" in Proceedings of the IFIP TC6/WG6.1 XV International Conference on Testing of Communicating Systems (TestCom 2003), pp. 129-145. Sofia Antipolis, France
[Résumé]