Skip to contents

  1. 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
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    theses.fr, 2013-11-13