Return to search

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

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

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/423642200
Date January 2002
CreatorsBen Ezzine, Radhouane.
PublisherSherbrooke : Université de Sherbrooke,
Source SetsOCLC
LanguageFrench
Detected LanguageFrench
Source(Accès réservé UdeS) Droit de reproduction illimitée uniquement pour la création de matériel didactique.

Page generated in 0.0016 seconds