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...
Enregistré dans:
Auteur principal : | |
---|---|
Collectivités auteurs : | , , |
Autres auteurs : | |
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 : |
Bib. Centrale Nantes
| Cote | Prêt | Statut |
---|---|---|---|
Bibliothèques | Th 2488 bis | Empruntable | Disponible |
Magasin 3 | Th 2488 | Exclu du prêt | disponible |