Skip to contents

  3. Le, Manh Hung [Author] ; Limoges [Contributor]; Adly, Samir [Contributor]

    Études mathématiques et numériques de la complémentarité aux valeurs propres et des problèmes d'accélération dans l'optimisation du premier ordre ; Mathematical and numerical studies of eigenvalue complementarity problems, and acceleration methods in first-order optimization

    Thesis
    View online
    Schließen
    Close

    Bookmarks

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

    theses.fr, 2023-12-20

  5. Vassiliev, Pavel [Author] ; Paris Est [Contributor]; Sankt-Peterburgskij gosudarstvennyj universitet [Contributor]; Beauquier, Danièle [Contributor]; Soloviev, Igor [Contributor]

    Développement et réalisation d'un simulateur de machines à états abstraits temps-réel et model-checking de formules d'une logique des prédicats temporisée du premier ordre ; Development and implementation of a simulator for abstract state machines with real time and model-checking of properties in a language of first order predicate logic with time

    Thesis
    View online
    Schließen
    Close

    Bookmarks

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

    theses.fr, 2008-11-27

  8. Peyras, Quentin [Author] ; Toulouse, ISAE [Contributor]; Chemouil, David [Contributor]; Brunel, Julien [Contributor]

    Propriété du domaine borné pour la logique temporelle linéaire du premier ordre et applications à la vérification de systèmes à états infinis ; Bounded domain property for first order linear temporal logic and applications to the verification of infinite-state systems

    Thesis
    View online
    Schließen
    Close

    Bookmarks

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

    theses.fr, 2022-01-14

  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
    Close

    Bookmarks

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

    theses.fr, 2013-11-13