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...
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Thèse numérique |
| Lingua: | Français |
| Pubblicazione: |
Villeurbanne :
[CCSD]
2010.
|
| Soggetti: | |
| Accesso online: | Accès au texte intégral Accès Université d'Orléans |
| Nota: |
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.) |