PUBLICATION: Spécification et génération de tests du comportement dynamique des systèmes à objets répartis
© Université de Nice. Personal use of this material is permitted. The definitive version of this paper was published in Thesis and is available at :