| Etablissement | Université d'Oran1 - Ahmed Ben Bella |
| Affiliation | Département d'Informatique |
| Auteur | KLOUCHE-DJEDID, Afaf |
| Directeur de thèse | BENHAMAMOUCH D. (Professeur) |
| Co-directeur | BOURENANE Malika (Docteur) |
| Filière | Informatique |
| Diplôme | Magister |
| Titre | Systèmes temporisés, Spécifications et vérifications : Optimisation du coût de la vérification |
| Mots clés | Systèmes temporisés; Automates temporisés; Algèbre de processus; ATP; Logique temporelle; TCTL; Model-checking; Systèmes de transitions étiquetés;ACP; Processus; Temps réel; Systèmes distribués. |
| Résumé | On propose de spécifier et vérifier les systèmes distribués temporels. Pour ceci on étudie deux formalismes: les automates temporisés et l'algebre des procesus ATP.Sachant que l'on peut translater une expression ATP en ATP en graphe temporisé. |
| Date de soutenance | 2008 |
| Cote | TH2691 |
| Pagination | 111F. |
| Format | 31 cm |
| Notes | ANNEXE 92-111F.BIBLIOG.RESUME ET MOTS CLES. |
| Statut | Soutenue |