Application de la méthode de vérification de modèles sur des protocoles de communication JAVA

Description

Thèses (M.Sc.)--Université de Sherbrooke (Canada), 2002. / Titre de l'écran-titre (visionné le 18 juillet 2006). Publié aussi en version papier.

Links & Downloads

1. http://ezproxy.usherbrooke.ca/login?url= http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rfr_dat=&res_dat=xri:pqdiss&rft_val_fmt=info:ofi%2Ffmt:kev:mtx:dissertation&rft_dat=xri:pqdiss:MQ74301

Tags

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/423642200
Date	January 2002
Creators	Ben Ezzine, Radhouane.
Publisher	Sherbrooke : Université de Sherbrooke,
Source Sets	OCLC
Language	French
Detected Language	French
Source	(Accès réservé UdeS) Droit de reproduction illimitée uniquement pour la création de matériel didactique.