Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Rennes 1 (4)
  • Toulouse, INPT (3)
  • Côte d'Azur (1)
  • Nice (1)
  • Paris 6 (1)
  • Toulouse, ISAE (1)
  • Université Mohammed-V Agdal, Rabat, Maroc (1)
  • Université du Luxembourg (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (7)
  • Réseaux, Télécommunications, Systèmes et Architecture (1)
  • Réseaux, télécom, système et architecture (1)
  • Sureté de Logiciel et Calcul à Haute Performance (1)
  • Sûreté de Logiciel et Calcul à Haute Performance (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (4)
  • École Doctorale Mathématiques, Informatique et Télécommunications (Toulouse) (3)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (2)

Ecoles Doctorales :

Fullscreen

Langues :

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

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Baudry Benoit (3)
  • Aït-Ameur Yamine (2)
  • Crégut Xavier (2)
  • Jézéquel Jean-Marc (2)
  • Aboutajdine Driss (1)
  • Broto Laurent (1)
  • Combemale Benoît (1)
  • De Antoni Julien (1)
  • Hagimont Daniel (1)
  • Hugues Jérôme (1)
  • Kordon Fabrice (1)
  • Mallet Frédéric (1)
  • Navet Nicolas (1)
  • Riveill Michel (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (11)
  • Sciences de l'ingénieur (2)
  • Mathématiques (1)

Domaines :

Fullscreen

...conformes soient dits « exécuta-bles », ces langages sont appelés LMDs exécutables (LMDx). En plus de...

Accéder en ligne
Sureté de Logiciel et Calcul à Haute Performance

Soutenue le 13-07-2016
thèse soutenue

....), les langages de modélisationdédiés (Domain-Speciटc Modeling Languages – DSMLs) sont plffs adaptés car...

Accéder en ligne
Sûreté de Logiciel et Calcul à Haute Performance

Soutenue le 09-12-2014
thèse soutenue

...’INTÉGRATION DE LA VÉRIFICATIONFORMELLE POUR LES LANGAGES DÉDIÉSRésuméLes langages dédiés de modélisation (DSMLs...

Accéder en ligne
Informatique

Soutenue le 10-12-2013
thèse soutenue
Réseaux, Télécommunications, Systèmes et Architecture

Soutenue le 12-11-2012
thèse soutenue

Résultats 1 à 10