Analyse des traces d'exécution pour la vérification des protocoles d'interaction dans les systèmes multiagents
| Data(s) |
21/09/2016
21/09/2016
2003
2003
|
|---|---|
| Resumo |
Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal. |
| Identificador | |
| Idioma(s) |
fra |
| Palavras-Chave | #Protocoles d'interaction #Vérification formelle #Model-checking #Systèmes multiagents #Observation |
| Tipo |
thesis thèse |
| Contribuinte(s) |
Sahraoui, Houari Dury, Arnaud |
| Formato |
application/pdf |
