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...
Na minha lista:
| Autor principal: | |
|---|---|
| Outros Autores: | , |
| Formato: | Thèse et Mémoire papier |
| Idioma: | Français |
| Publicado em: |
[S.l.] :
[s.n.]
2007.
|
| Assuntos: | |
| 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, 2010, Villeurbanne, [CCSD] |