Vérification parametrée de systèmes temporisés

Vérification parametrée de systèmes temporisés

Dans cette thèse, nous étudions la vèrification formelle des systèmes avec des contraintes temporelles. Comme formalisme pour la modélisation et l analyse de ces systèmes, nous utilisons les automates temporisés. Le model-checking est une méthode de vérification formelle qui vérifie automatiquement...

Description complète

Enregistré dans:
Détails bibliographiques
Auteur principal : Jovanovic Aleksandra (Auteur)
Collectivités auteurs : Centrale Nantes 1991-.... (Organisme de soutenance), École doctorale Sciences et technologies de l'information et mathématiques Nantes (Ecole doctorale associée à la thèse), Institut de recherche en communications et cybernétique Nantes 1958-2017 (Laboratoire associé à la thèse)
Autres auteurs : Lime Didier (Directeur de thèse)
Format : Thèse ou mémoire
Langue : anglais
Titre complet : Vérification parametrée de systèmes temporisés / Aleksandra Jovanovic; sous la direction de Didier Lime
Publié : 2013
Description matérielle : 1 vol. (123 p.)
Note de thèse : Thèse de doctorat : Informatique et applications : Ecole centrale de Nantes : 2013
Sujets :
Vérification de modèles (informatique) > Thèses et écrits académiques
Model-checking
Automates temporisés
Paramètres
Jeux temporisés
Systèmes hybrides
Contrôle

Bib. Centrale Nantes

Informations d'exemplaires de Bib. Centrale Nantes
‌ Cote Prêt Statut
Bibliothèques Th 2488 bis Empruntable Disponible
Magasin 3 Th 2488 Exclu du prêt disponible