]
]
]
]
Publication
Proving feature non-interaction with Alternating-Time Temporal Logic
| Auteur(s) | Franck CASSEZ, Mark RYAN, Pierre-Yves SCHOBBENS |
| Unité(s) de recherche(s) |
Pôle sémantique, logique et calcul
PReCISE Research Center |
| Projet de recherche | Intégration de service: ingénierie des exigences (Fireworks) |
| Année | 2000 |
| Type | Contributions à des ouvrages collectifs |
| Langue | Anglais |
| Editeur | Springer |
| Lieu d'édition | London |
| Mots clés | services, intégration de services, interaction de s |
| Résumé | |
| Versions électroniques | ftp://ftp.cs.bham.ac.uk/pub/authors/M.D.Ryan/00-atl.ps.gz |
Contribution à un ouvrage collectif
| Titre ouvrage | Language Constructs for Describing Features |
| Sous-titre | Proceedings of the FIREworks workshop |
| Auteur | S. Gilmore and M. D. Ryan |
| Collection | |
| Sous-collection | |
| Numéro volume | |
| Pages | 85 - 103 |
