Analyse des traces d'exécution pour la vérification des protocoles d'interaction dans les systèmes multiagents

Description

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Links & Downloads

1. http://hdl.handle.net/1866/14525

Tags

Protocoles d'interaction

Vérification formelle

Model-checking

Systèmes multiagents

Observation

Additional Fields

Identifer	oai:union.ndltd.org:umontreal.ca/oai:papyrus.bib.umontreal.ca:1866/14525
Date	January 2003
Creators	Ben Ayed, Nourchène
Contributors	Sahraoui, Houari, Dury, Arnaud
Source Sets	Université de Montréal
Language	French
Detected Language	French
Type	Thèse ou Mémoire numérique / Electronic Thesis or Dissertation