Acte de conférence, colloque et atelier

On Test Derivation ...

Petrenko, A. and Yevtushenko, N. "On Test Derivation from Partial Specifications" in Proceedings of the IFIP Joint International (Conference FORTE/PSTV'2000) on Formal Description Techniques (FORTE XIII) for Distributed Systems and Communication Protocols, and Protocol Specification, Testing, and Verification (PSTV XX), pp. 85-102. Pisa, Italy
[Résumé]