Utilisation des langages d'arbres pour la modélisation et la vérification des systèmes à états infinis
Ce document présente différents outils pour représenter et manipuler des ensembles infinis de n-uplets d'arbres appelés langages de n-uplets d'arbres. Nous avons choisi la programmation logique comme formalisme pour décrire les langages de n-uplets d'arbre (c.à.d. les relations) et le...
Enregistré dans:
| Hovedforfatter: | |
|---|---|
| Format: | Thèse numérique |
| Sprog: | Français |
| Udgivet: |
Villeurbanne :
[CCSD]
2010.
|
| Fag: | |
| Online adgang: | Accès au texte intégral Accès Université d'Orléans |
| Kommentar: |
Description d'après la consultation, 2018-04-26 Titre provenant de l'écran titre Cette édition peut différer de la version de soutenance enregistrée sous le Numéro National de Thèse : 2007ORLE2050 Thèses CCSD |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | Using tree languages for modelise and verify infinite states systems |
| Edition sous un autre format: | • Utilisation des langages d'arbres pour la modélisation et la vérification des systèmes à états infinis, par Pierre Pillot, [S.l.], [s.n.], 2007, 1 vol. (130 p.) |