Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Côte d'Azur (1)
  • Dijon (1)
  • Ecole centrale de Lille (1)
  • Grenoble (1)
  • Limoges (1)
  • Mulhouse (1)
  • Paris, CNAM (1)
  • Reims (1)
  • Toulouse, ISAE (1)
  • Université M'hamed Bougara de Boumerdès (Algérie) (1)
  • Université de Lorraine (1)
  • École Nationale des Sciences de l'Informatique (La Manouba, Tunisie) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (5)
  • ATS - Automatique et Traitement de Signal (1)
  • Automatique, génie informatique, traitement du signal et image (1)
  • Génie informatique (1)
  • Informatique et Systèmes embarqués (1)
  • Sciences et technologie industrielles (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • Ecole doctorale Sciences du Numérique et de l’Ingénieur (Reims, Marne) (1)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (1)
  • École doctorale Informatique, télécommunications et électronique (Paris) (1)
  • École doctorale Sciences et Ingénierie des Systèmes, Mathématiques, Informatique (Limoges) (1)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (1)
  • École doctorale Sciences pour l'Ingénieur (Lille) (1)
  • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (1)
  • École doctorale Systèmes (Toulouse) (1)
  • École doctorale pluridisciplinaire Jean-Henri Lambert, ED 494 (Mulhouse) (1)
  • École doctorale électronique, électrotechnique, automatique, traitement du signal (Grenoble) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (10)

    Langues :

    Fullscreen

    Directeurs de thèse :

    Valider et fermer
    • Barkaoui Kamel (1)
    • Coupat Raphaël (1)
    • Galmiche Didier (1)
    • Gellot François (1)
    • Haddad Serge (1)
    • Lanet Jean-Louis (1)
    • Larchey-Wendling Dominique (1)
    • Le Thanh Nhan (1)
    • Mezghiche Mohamed (1)
    • Nicolle Christophe (1)
    • Philippot Alexandre (1)
    • Pierre Laurence (1)
    • Rampacek Sylvain (1)
    • Riera Bernard (1)
    • Seguin Christel (1)
    • Tagina Moncef (1)
    • Thirion Bernard (1)
    • Toguyeni Abdoul Karim Armand (1)
    • Verfaillie Gérard (1)

    Directeurs de thèse :

    Fullscreen

    Domaines :

    Valider et fermer
    • Informatique (7)
    • Sciences de l'ingénieur (4)

    Domaines :

    Fullscreen

    10 thèses pour "Logique temporelle LTL"

    Informatique

    Soutenue le 11-12-2012
    thèse soutenue

    ...(Tableau 3). Propriété Logique temporelle LTL Logique temporelle CTL Sûreté Exprimable Exprimable Vivacité...

    Accéder en ligne

    ...de la logique temporelle LTL pour spØci er des comportements. DemŒme, lors de la phase de conception...

    Accéder en ligne

    ...opérateurs classiques deLogique Temporelle (LTL, CTL, ...) [HJ94], tels que Always (A), Exists (E), Globally...

    Accéder en ligne
    Sciences et technologie industrielles

    Soutenue le 11-07-2011
    thèse soutenue

    ...C est présentée dans [GD03]. La méthode vise à prouverle respect de propriétés de la logique temporelle...

    Accéder en ligne

    ...vérifier sont exprimées à traversla logique temporelle LTL. Promela est un langage inspiré du C. Il ne gère...

    Accéder en ligne

    ...outilsve´rifier sont exprime´es a` travers la logique temporelle LTL. Dans Modex, l’utilisateur peut ge...

    Accéder en ligne
    Automatique, génie informatique, traitement du signal et image

    Soutenue le 10-12-2012
    thèse soutenue

    ...manières : avec une logique temporelle (LTL, CTL, CTL*, …), ou temporisée (TCTL, …) ou par un modèle états...

    Accéder en ligne

    ...extension temporelle de la logique BI en utilisantles modalités de la logique temporelle LTL. Dans ce...

    Accéder en ligne

    Résultats 1 à 10