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) |
fr |
| Palavras-Chave | #Protocoles d'interaction #Vérification formelle #Model-checking #Systèmes multiagents #Observation |
| Tipo |
Thèse ou Mémoire numérique / Electronic Thesis or Dissertation |
