Analyse des traces d'exécution pour la vérification des protocoles d'interaction dans les systèmes multiagents
Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | fr |
| Published: |
2016
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/1866/14525 |