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...
Shranjeno v:
| Glavni avtor: | |
|---|---|
| Drugi avtorji: | , |
| Format: | Thèse et Mémoire papier |
| Jezik: | Français |
| Izdano: |
[S.l.] :
[s.n.]
2007.
|
| Teme: | |
| 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] |
Orléans - BU Sciences Technologies STAPS
| Lokacija | Signatura | Type de prêt | Status | |
|---|---|---|---|---|
| Magasin | TS 19-2007-50 b |
A consulter sur place
|
||
| Magasin | TS 19-2007-50 | Prosto |