Résultats 1 à 8

Dates de soutenance :


Etablissements :

Valider et fermer
  • Bordeaux 1 (1)
  • Grenoble (1)
  • Institut polytechnique de Paris (1)
  • Nice (1)
  • Paris 6 (1)
  • Paris 7 (1)
  • Université Côte d'Azur (ComUE) (1)
  • université Paris-Saclay (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (6)
  • Informatique, données, IA (1)
  • Sciences appliquées (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (2)
  • École doctorale Sciences et technologies de l'information et de la communication (1)
  • École doctorale de l'Institut polytechnique de Paris (1)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (4)
  • anglais (3)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Rueher Michel (2)
  • Bardin Sébastien (1)
  • Bouajjani Ahmed (1)
  • Collavizza Hélène (1)
  • Conchon Sylvain (1)
  • Habermehl Peter (1)
  • Michel Claude (1)
  • Minoux Michel (1)
  • Monniaux David (1)
  • Moy Matthieu (1)
  • Putot Sylvie (1)
  • Rauzy Antoine (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (7)
  • Sciences de l'ingénieur (1)

Domaines :

Fullscreen

Solveurs SMT pour la sécurite logicielle

par Guillaume Girol sous la direction de Sylvain Conchon et de Sébastien Bardin. - université Paris-Saclay

Informatique

En préparation depuis le 01-10-2019
 thèse en cours de préparation

...proposons un ensemble de stratégie de recherchedédié à la vérification de programme avec du calcul sur les...

Accéder en ligne

Résultats 1 à 8