Publication: Spécification et génération de tests du comportement dynamique des systèmes à objets répartis

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 :

Download