MASTER RECHERCHE EN INFORMATIQUE

Informatique
Université

Niveau: Supérieur, Master

  • rapport de stage

Rapport de Stage MASTER RECHERCHE EN INFORMATIQUE Specialite : COSY : des COncepts aux SYstemes Sujet : Verification d'un protocole Stop-And-Wait : Combiner Model-Checking et Preuve de theoremes par : Naim ABER Stage d'initiation a la recherche e?ectue au Laboratoire d'Informtique de Paris Nord au sein de l'equipe Logique, Calcul et Raisonnement, UMR 7030 du CNRS Sous la direction de : M. Kais Klai : Ma?tre de conferences a UP13 - LIPN - LCR Mme. Micaela Mayero : Ma?tre de conferences a UP13 - LIPN - LCR Annee universitaire 2008-2009

  • modele
  • modele cpn-ami du protocole swp
  • cpn
  • protocole
  • principes des protocoles de la couche liaison de donnees
  • reseau de petri
  • formalisation du protocole


Modèle, Protocole, Réseau de Petri

Il n'y a aucune évaluation pour l'instant.


Soyez le premier à l'évaluer

Donnez votre évaluation
MASTER RECHERCHE EN INFORMATIQUE
* Champs obligatoires
Votre commentaire
Vos notes
Clarté du contenu
Utilité du contenu
Qualité du contenu