Résultats 1 à 3

EXPORTER les résultats
S'ABONNER à theses.fr

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"

        Improving the model checking of stutter-invariant LTL properties

        par Ala Eddine Ben Salem sous la direction de Fabrice Kordon - Paris 6

        Informatique

        Soutenue le 25-09-2014
        thèse soutenue
        Accéder en ligne

        Formal and incremental verification of SysML for the design of component-based system

        par Oscar Carrillo Rozo sous la direction de Hassan Mountassir et de Samir Chouali. - Besançon

        Informatique

        Soutenue le 17-12-2015
        thèse soutenue

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

        Accéder en ligne

        Combining SysML and SystemC to Simulate and Verify Complex Systems

        par Abbas Abdulazeez Abdulhameed sous la direction de Hassan Mountassir, Bruno Tatibouet et de Ahmed Hammad. - Besançon

        Informatique

        Soutenue le 04-03-2016
        thèse soutenue

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

        Accéder en ligne

        Résultats 1 à 3