Résultats 1 à 7

Dates de soutenance :


Etablissements :

Valider et fermer
  • Université de Lorraine (3)
  • Nancy 1 (1)
  • Paris, CNAM (1)
  • Toulouse, INPT (1)
  • Toulouse, ISAE (1)
  • Universität des Saarlandes (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (6)
  • Informatique et Télécommunications (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (3)
  • IAEM Lorraine (1)
  • École doctorale Informatique, télécommunications et électronique de Paris (1)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (1)

Ecoles Doctorales :

Fullscreen

Langues :

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

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Merz Stephan (3)
  • Barkaoui Kamel (1)
  • Brunel Julien (1)
  • Chemouil David (1)
  • Fariñas del Cerro Luis (1)
  • Haddad Serge (1)
  • Méry Dominique (1)
  • Weidenbach Christoph (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (7)

    Domaines :

    Fullscreen

    ....Mots clés : vérification formelle, programmes C, logique temporelle des actions (TLA),vérification de...

    Accéder en ligne

    ..., distribués) et leurs propriétés. TLA+est basée sur le langage TLA [Lam94] (la logique temporelle des actions...

    Accéder en ligne

    ...fonde sur la logique temporelle des actions(temporal logic of actions, TLA), une variante de la logique...

    Accéder en ligne
    Informatique

    Soutenue le 13-02-2009
    thèse soutenue

    ...bien définie. Ces travaux définissent un cadreformel basé sur la logique temporelle des actions...

    Accéder en ligne

    Résultats 1 à 7