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 Krieger, Matthias [Author] ; Paris 11 [Contributor]; Wolff, Burkhart [Contributor] Test generation and animation based on object-oriented specifications ; Génération de tests et animation à partir de spécifications orientées objet 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, 2011-12-09 Gauthier, Jean-Marie [Author] ; Besançon [Contributor]; Bouquet, Fabrice [Contributor]; Hammad, Ahmed [Contributor]; Peureux, Fabien [Contributor] Combining Discrete and Continuous Domains for SysML-Based Simulation and Test Generation ; Unification des ensembles discrets et continus pour la simulation et la génération de tests à partir de modèles sysML 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, 2015-11-19 Marsso, Lina [Author] ; Université Grenoble Alpes (ComUE) [Contributor]; Mateescu, Radu [Contributor]; Parissis, Ioannis [Contributor] Etude de génération de tests à partir d'un modèle pour les systèmes GALS ; On Model-based Testing of GALS Systems 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, 2019-12-10
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
Krieger, Matthias [Author] ; Paris 11 [Contributor]; Wolff, Burkhart [Contributor] Test generation and animation based on object-oriented specifications ; Génération de tests et animation à partir de spécifications orientées objet 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, 2011-12-09
Gauthier, Jean-Marie [Author] ; Besançon [Contributor]; Bouquet, Fabrice [Contributor]; Hammad, Ahmed [Contributor]; Peureux, Fabien [Contributor] Combining Discrete and Continuous Domains for SysML-Based Simulation and Test Generation ; Unification des ensembles discrets et continus pour la simulation et la génération de tests à partir de modèles sysML 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, 2015-11-19
Marsso, Lina [Author] ; Université Grenoble Alpes (ComUE) [Contributor]; Mateescu, Radu [Contributor]; Parissis, Ioannis [Contributor] Etude de génération de tests à partir d'un modèle pour les systèmes GALS ; On Model-based Testing of GALS Systems 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, 2019-12-10
> Language Skip to next facet English (3) Wert ausschließen French (1) Wert ausschließen Show more show less
> Creator Skip to next facet Besançon (2) Wert ausschließen Bouquet, Fabrice (2) Wert ausschließen Cantenot, Jérôme (1) Wert ausschließen Gauthier, Jean-Marie (1) Wert ausschließen Hammad, Ahmed (1) Wert ausschließen Krieger, Matthias (1) Wert ausschließen Marsso, Lina (1) Wert ausschließen Mateescu, Radu (1) Wert ausschließen Paris 11 (1) Wert ausschließen Parissis, Ioannis (1) Wert ausschließen Peureux, Fabien (1) Wert ausschließen Université Grenoble Alpes (ComUE) (1) Wert ausschließen Wolff, Burkhart (1) Wert ausschließen Show more show less
> Collection Skip to next facet BASE - Bielefeld Academic Search Engine (4) Wert ausschließen theses.fr (4) Wert ausschließen Show more show less