Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Grenoble (2)
  • Paris 6 (2)
  • Bordeaux 1 (1)
  • Dijon (1)
  • Lille 1 (1)
  • Lorient (1)
  • Paris 7 (1)
  • Paris, CNAM (1)
  • Reims (1)
  • Toulouse, INSA (1)
  • Université de Lorraine (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (6)
  • ATS - Automatique et Traitement de Signal (1)
  • Automatique, Génie informatique, Traitement du signal et des Images (1)
  • Micro et nanoélectronique (1)
  • Sciences appliquées (1)
  • Sciences et technologie industrielles (1)
  • Stic (1)
  • Sûreté de Logiciel et Calcul de Haute Performance (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale électronique, électrotechnique, automatique, traitement du signal (Grenoble) (2)
  • Ecole doctorale Sciences du Numérique et de l’Ingénieur (Reims, Marne) (1)
  • Mathématiques Informatique Télécommunications de Toulouse (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 Santé, information-communication et mathématiques, matière (Brest, Finistère) (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 de mathématiques et informatique (Talence, Gironde) (1)

Ecoles Doctorales :

Fullscreen

Langues :

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

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Pierre Laurence (2)
  • Badonnel Rémi (1)
  • Barkaoui Kamel (1)
  • Berruet Pascal (1)
  • Berthomieu Bernard (1)
  • Borrione Dominique (1)
  • Coupat Raphaël (1)
  • El-Koursi El-Miloudi (1)
  • Estraillier Pascal (1)
  • Gellot François (1)
  • Ghazel Mohamed (1)
  • Jenn Éric (1)
  • Ly Olivier (1)
  • Merz Stephan (1)
  • Mosbah Mohamed (1)
  • Munier-Kordon Alix (1)
  • Nicolle Christophe (1)
  • Oquendo Flavio (1)
  • Philippot Alexandre (1)
  • Rampacek Sylvain (1)
  • Riera Bernard (1)
  • Toguyeni Abdoul Karim Armand (1)
  • Touili Tayssir (1)
  • Vernadat François B. (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (8)
  • Sciences de l'ingénieur (5)
  • Informatique, information, généralités (1)
  • Mathématiques (1)
  • Technologie (Sciences appliquées) (1)

Domaines :

Fullscreen

13 thèses pour "Logique temporelle CTL"

Automatique, Génie informatique, Traitement du signal et des Images

Soutenue le 21-01-2013
thèse soutenue
Informatique

Soutenue le 11-12-2012
thèse soutenue

...proposition atomique. Soit et des requêtes en logique temporelle CTL. Les requêtes en logique temporelle...

Accéder en ligne
Sciences appliquées

Soutenue en 1996
thèse soutenue

...la logique temporelle CTL et de vérier es propriétés en se basant surle graphe de ot de ontrle du...

Accéder en ligne

...temporelle CTL (Computation Tree Logic), par exemple pourla politique que nous avons considérée la propriété...

Accéder en ligne

...cahier des charges, sont écrites en logique temporelle (CTL). Seules les propriétésCTL et l...

Accéder en ligne

...logique temporelle CTL. Ces formuleslogiques sont véri ées par NuSmv sur le modèle de véri cation. Cette...

Accéder en ligne

Résultats 1 à 10