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...

Full description

Saved in:
Bibliographic Details
Main Author : Jovanovic Aleksandra (Auteur)
Corporate Authors : 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)
Other Authors : Lime Didier (Directeur de thèse)
Format : Thesis
Language : anglais
Title statement : Vérification parametrée de systèmes temporisés / Aleksandra Jovanovic; sous la direction de Didier Lime
Published : 2013
Physical Description : 1 vol. (123 p.)
Note de thèse : Thèse de doctorat : Informatique et applications : Ecole centrale de Nantes : 2013
Subjects :
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

Holdings details from Bib. Centrale Nantes
Location Call Number Loan type Status
Bibliothèques Th 2488 bis Empruntable Available
Magasin 3 Th 2488 Exclu du prêt disponible