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.

Bibliographic Details
Main Author:	Ben Ayed, Nourchène
Other Authors:	Sahraoui, Houari
Language:	fr
Published:	2016
Subjects:	Protocoles d'interaction Vérification formelle Model-checking Systèmes multiagents Observation
Online Access:	http://hdl.handle.net/1866/14525

id	ndltd-umontreal.ca-oai-papyrus.bib.umontreal.ca-1866-14525
record_format	oai_dc
spelling	ndltd-umontreal.ca-oai-papyrus.bib.umontreal.ca-1866-145252017-06-06T17:24:45Z Analyse des traces d'exécution pour la vérification des protocoles d'interaction dans les systèmes multiagents Ben Ayed, Nourchène Sahraoui, Houari Dury, Arnaud Protocoles d'interaction Vérification formelle Model-checking Systèmes multiagents Observation Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal. 2016-09-21T14:28:54Z 2016-09-21T14:28:54Z 2003 2003 Thèse ou Mémoire numérique / Electronic Thesis or Dissertation http://hdl.handle.net/1866/14525 fr
collection	NDLTD
language	fr
sources	NDLTD
topic	Protocoles d'interaction Vérification formelle Model-checking Systèmes multiagents Observation
spellingShingle	Protocoles d'interaction Vérification formelle Model-checking Systèmes multiagents Observation Ben Ayed, Nourchène 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.
author2	Sahraoui, Houari
author_facet	Sahraoui, Houari Ben Ayed, Nourchène
author	Ben Ayed, Nourchène
author_sort	Ben Ayed, Nourchène
title	Analyse des traces d'exécution pour la vérification des protocoles d'interaction dans les systèmes multiagents
title_short	Analyse des traces d'exécution pour la vérification des protocoles d'interaction dans les systèmes multiagents
title_full	Analyse des traces d'exécution pour la vérification des protocoles d'interaction dans les systèmes multiagents
title_fullStr	Analyse des traces d'exécution pour la vérification des protocoles d'interaction dans les systèmes multiagents
title_full_unstemmed	Analyse des traces d'exécution pour la vérification des protocoles d'interaction dans les systèmes multiagents
title_sort	analyse des traces d'exécution pour la vérification des protocoles d'interaction dans les systèmes multiagents
publishDate	2016
url	http://hdl.handle.net/1866/14525
work_keys_str_mv	AT benayednourchene analysedestracesdexecutionpourlaverificationdesprotocolesdinteractiondanslessystemesmultiagents
_version_	1718455955492962304

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

Similar Items