Principles of Distributed Test Synthesis based on True-concurrency Models

Claude Jard. Principles of Distributed Test Synthesis based on True-concurrency Models. In Ina Schieferdecker, Hartmut König, Adam Wolisz, editors, Testing of Communicating Systems XIV, Applications to Internet Technologies and Services, Proceedings of the IFIP 14th International Conference on Testing Communicating Systems - TestCom 2002, Berlin, Germany, March 19-22, 2002. Volume 210 of IFIP Conference Proceedings, pages 301-316, Kluwer, 2002.

Abstract

Abstract is missing.