Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Besançon (2)
  • Cachan, Ecole normale supérieure (2)
  • Université de Lorraine (2)
  • Grenoble 1 (1)
  • Grenoble Alpes (1)
  • Lyon, INSA (1)
  • Nice (1)
  • Paris Est (1)
  • Paris, Ecole normale supérieure (1)
  • Rennes 1 (1)
  • Université du Minho (1)
  • Vandoeuvre-les-Nancy, INPL (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (10)
  • Automatique (1)
  • Sciences appliquées (1)
  • Sciences et techniques (1)
  • Électronique, électrotechnique, automatique (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (3)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2010-2015) (1)
  • École doctorale de Sciences mathématiques de Paris Centre (Paris) (1)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (1)
  • École doctorale Électronique, électrotechnique, automatique (Lyon) (1)

Ecoles Doctorales :

Fullscreen

Langues :

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

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Badouel Éric (1)
  • Ben Ahmed Samir (1)
  • Bert Didier (1)
  • Contassot-Vivier Sylvain (1)
  • Cousot Radhia (1)
  • Dima Catalin (1)
  • Guyennet Hervé (1)
  • Jaray Jacques (1)
  • Leroy Vincent (1)
  • Lesage Jean-Jacques (1)
  • Miné Antoine (1)
  • Méry Dominique (1)
  • Naimi Mohamed (1)
  • Niel Eric (1)
  • Quinson Martin (1)
  • Salaün Gwen (1)
  • Schnoebelen Philippe (1)
  • Thomas Marie-Claude (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (10)
  • Sciences de l'ingénieur (3)
  • Sciences de la nature et mathématiques (1)
  • Physique (1)
  • Technologie (Sciences appliquées) (1)

Domaines :

Fullscreen

...concentresur la preuve des proprietes de vivacite des programmes, qui representent desconditions qui doivent...

Accéder en ligne

...+) que nous avons développé,5. Vérifier des propriétés de vivacité en utilisant le prouveur de théorèmes...

Accéder en ligne

Résultats 1 à 10