Résultats 1 à 7

Dates de soutenance :


Etablissements :

Valider et fermer
  • Besançon (2)
  • Toulouse, INPT (2)
  • Ecole centrale de Lille (1)
  • Grenoble Alpes (1)
  • Poitiers (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (3)
  • 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 pour l'Ingénieur (Lille) (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 (6)
  • 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)
  • Girard Patrick (1)
  • Hammad Ahmed (1)
  • Pantel Marc (1)
  • Tatibouet Bruno (1)
  • Toguyeni Abdoul Karim Armand (1)

Directeurs de thèse :

Fullscreen

Domaines :

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

Domaines :

Fullscreen

7 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 à 7