Rapport de stage : Translation of Pi-Calculus into IF-2.0, a language for classical transition system - Rapport de stage gratuit - Rapports de stage gratuits - Mémoires - Thèses - Librapport
Nombre de rapports de stage en ligne : 1155   
(659 rapports de stage téléchargeables)   
 
AccueilL'AssociationRechercherDeposerVotre compteLe ForumFoire Aux QuestionsContactez nous
Moteur de recherche | Catalogue | Plan du site | Liste des rapports
 Rapport de stage
 
   Derniers docs consultables
Le packaging vecteur de communication
le marketing et les enfants
Sponsoring Sportif un marché original
le marketing de la formation post bac
L'utilisation de stimuli olfactifs dans les lieux commerciaux
   Rechercher un document 
 par mot clé :
 par domaine :
   Espace pub

   Déposer un document
Pourquoi ?
Déposer un document
Droits d'auteur
Mises en garde
Charte
   L'Association
Présentation du projet
Historique
Partenaires
Qui sommes nous?
Vous, écoles
Aidez nous!
 Translation of Pi-Calculus into IF-2.0, a language for classical transition system par Hugo Venturini -
Téléchargements : 816 Consultations : 1175
Résumé : Le pi-calcul et IF-2.0 sont des langages exprimant la mobilite des processus respectivement dynamiquement et statiquement. Il existe des outils de verifications pour IF-2.0 developpes par le laboratoire VERIMAG, a Grenoble. Ce document est une approche de la traduction de pi-calculus en IF-2.0 dans le but de verifier des processus dynamique avec des outils deja existant.
Télécharger : Pour y accéder cliquez ici ou téléchargez le (296 Ko)
 Carte d'identité :
Type de document : Projet tutoré Nombre de pages : 18
Date de publication : 02 / 07 / 2003 Date de création : 06 / 2002
Auteur : Hugo Venturini Niveau : BAC + 3
Licence : libre Langue : Français
Publication : autorisée
Domaines : Informatique
Informatique Theorique
 Cadre scolaire :
Ecole : UNIVERSITE JOSEPH FOURIER Ville de l'école : GRENOBLE
Formation : aucune Note obtenue : 17 / 20
Appreciation : aucune
 Cadre professionnel:
Entreprise : Verimag Service : recherche informatique
Ville : GRENOBLE
 Statistiques :
Nombre de téléchargements : 816 Nombre de consultations : 1175
Note des visiteurs : 16 / 20 Nombre de mots : 2043


Commentaires :

Ajouter un commentaire

 TeFnOuT a écrit le 03/07/2003 à 14:32 - répondre  Note : 16
Bravo Hugo ...
J'ai pas tout compris mais bon.
Ajoutez votre commentaire au document
Votre adresse email : Votre pseudo :
Votre commentaire :
Veuillez noter le document : / 20
Code de confirmation : Visual CAPTCHA
  Entrez le code que vous voyez sur l'image Si le code n'est pas lisible, rechargez la page





Accueil - L'Association - Rechercher - Déposer - Votre compte - Forum - FAQ - Contact - Plan du site - Liste des rapports - Liens Référencement CREAWE Services