Résultats 1 à 3

Dates de soutenance :


Etablissements :

Valider et fermer
  • Besançon (2)
  • Paris 6 (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (3)

    Disciplines :

    Fullscreen

    Ecoles Doctorales :

    Valider et fermer
    • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (2)
    • École doctorale Informatique, télécommunications et électronique (Paris) (1)

    Ecoles Doctorales :

    Fullscreen

    Langues :

    Valider et fermer
    • anglais (3)

      Langues :

      Fullscreen

      Directeurs de thèse :

      Valider et fermer
      • Mountassir Hassan (2)
      • Chouali Samir (1)
      • Hammad Ahmed (1)
      • Kordon Fabrice (1)
      • Tatibouet Bruno (1)

      Directeurs de thèse :

      Fullscreen

      Domaines :

      Valider et fermer
      • Informatique (3)

        Domaines :

        Fullscreen

        3 thèses pour "Propriétés LTL"

        ..., Exigences, Propriétés LTL, Prome-la/SPIN, Ptolemy, MIOWorkbench...

        Accéder en ligne

        ...C,Simulation, Vérification, Exigences, Propriétés LTL,Model-Checking, Promela/SPIN, STATE tool,UPPAAL....

        Accéder en ligne

        Résultats 1 à 3