Résultats 1 à 6

Dates de soutenance :


Etablissements :

Valider et fermer
  • Grenoble Alpes (2)
  • Orléans (1)
  • Paris, Ecole normale supérieure (1)
  • Rennes 1 (1)
  • Rennes, École normale supérieure (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (5)
  • Automatique et productique (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (2)
  • École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire) (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, traitement du signal (Grenoble) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • anglais (5)
  • français (1)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Bensalem Saddek (1)
  • Blazy Sandrine (1)
  • Bozga Dorel Marius (1)
  • Cachera David (1)
  • Cousot Radhia (1)
  • Girard Antoine (1)
  • Loulergue Frédéric (1)
  • Miné Antoine (1)
  • Pichardie David (1)
  • Witrant Emmanuel (1)

Directeurs de thèse :

Fullscreen

Domaines :

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

Domaines :

Fullscreen

6 thèses pour "Rely-Guarantee"

...operations. However, as already hinted,we need to introduce a third, hybrid, language L[ in order to applyRely-Guarantee...

Accéder en ligne

Résultats 1 à 6