Skip to contents Cantenot, Jérôme [Author] ; Besançon [Contributor]; Bouquet, Fabrice [Contributor] Stratégies de génération de tests à partir de modèles UML/OCL interprétés en logique du premier ordre et système de contraintes. ; Test generation strategies from UML/OCL models interpreted with first order logic constraints system Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2013-11-13
Cantenot, Jérôme [Author] ; Besançon [Contributor]; Bouquet, Fabrice [Contributor] Stratégies de génération de tests à partir de modèles UML/OCL interprétés en logique du premier ordre et système de contraintes. ; Test generation strategies from UML/OCL models interpreted with first order logic constraints system Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2013-11-13
> Creator Skip to next facet Besançon (1) Wert ausschließen Bouquet, Fabrice (1) Wert ausschließen Cantenot, Jérôme (1) Wert ausschließen Show more show less
> Collection Skip to next facet BASE - Bielefeld Academic Search Engine (1) Wert ausschließen theses.fr (1) Wert ausschließen Show more show less