Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Besançon (2)
  • Toulouse, INPT (2)
  • Cachan, Ecole normale supérieure (1)
  • Chennai Mathematical Institute (1)
  • Ecole centrale de Lille (1)
  • Institut polytechnique de Paris (1)
  • Poitiers (1)
  • Université Côte d'Azur (ComUE) (1)
  • Université Grenoble Alpes (ComUE) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (6)
  • Sureté de Logiciel et Calcul à Haute Performance (2)
  • Automatique et informatique industrielle (1)
  • Informatique et applications (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (2)
  • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (2)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (1)
  • École doctorale Sciences pour l'Ingénieur (Lille) (1)
  • École doctorale Sciences pratiques (1998-2015 ; Cachan, Val-de-Marne) (1)
  • École doctorale de l'Institut polytechnique de Paris (1)
  • École doctorale des sciences pour l'ingénieur et aéronautique - SPI&A (Poitiers) (1)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (1)

Ecoles Doctorales :

Fullscreen

Langues :

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

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Aït-Ameur Yamine (3)
  • Mountassir Hassan (2)
  • Bourdeaud'huy Thomas (1)
  • Calvary Gaëlle (1)
  • Chouali Samir (1)
  • Dupuy-Chessa Sophie (1)
  • Gaaloul Walid (1)
  • Girard Patrick (1)
  • Hammad Ahmed (1)
  • Kellel Slim (1)
  • Kumar Narayan (1)
  • Madelaine Éric (1)
  • Pantel Marc (1)
  • Schnoebelen Philippe (1)
  • Tatibouet Bruno (1)
  • Toguyeni Abdoul Karim Armand (1)

Directeurs de thèse :

Fullscreen

Domaines :

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

Domaines :

Fullscreen

10 thèses pour Promela/SPIN

....select atomicrequirementsrequirementdiagram঺ = Ѳfor each atomicreq. Rlink R to a com-ponent C suchthat প ⊨ হ(Use SD,Promela, SPIN...

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

Soutenue le 06-03-2018
thèse soutenue
Sureté de Logiciel et Calcul à Haute Performance

Soutenue le 06-07-2017
thèse soutenue

Résultats 1 à 10