Résultats 1 à 6

Dates de soutenance :


Etablissements :

Valider et fermer
  • Besançon (2)
  • Paris 6 (2)
  • East China normal university (Shanghai) (1)
  • Pau (1)
  • Université Abdelhamid Mehri - Constantine 2 (Constantine, Algérie) (1)
  • Université de Paris (2019-....) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (6)

    Disciplines :

    Fullscreen

    Ecoles Doctorales :

    Valider et fermer
    • École doctorale Informatique, télécommunications et électronique de Paris (2)
    • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (2)
    • École doctorale Sciences mathématiques de Paris centre (Paris ; 2000-....) (1)
    • École doctorale sciences exactes et leurs applications (Pau, Pyrénées Atlantiques) (1)

    Ecoles Doctorales :

    Fullscreen

    Langues :

    Valider et fermer
    • anglais (4)
    • français (2)

    Langues :

    Fullscreen

    Directeurs de thèse :

    Valider et fermer
    • Kordon Fabrice (2)
    • Mountassir Hassan (2)
    • Belala Faiza (1)
    • Chouali Samir (1)
    • Hameurlain Nabil (1)
    • Hammad Ahmed (1)
    • He Jifeng (1)
    • Tatibouet Bruno (1)
    • Touili Tayssir (1)

    Directeurs de thèse :

    Fullscreen

    Domaines :

    Valider et fermer
    • Informatique (6)

      Domaines :

      Fullscreen

      6 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
      Informatique

      Soutenue le 30-09-2019
      thèse soutenue

      ...decoulantdes proprietes ltl. Les automates de Buchi permettent de decrire des executions (!-mots...

      Accéder en ligne

      ...(horizontale/verticale) et endonnant une des quatre proprietes LTL a veri er :4 etats 5 possibilites de...

      Accéder en ligne

      Résultats 1 à 6