Abstract Interpretation of Mobile Systems Jérôme Feret
-
138
pages
-
Français
-
Documents
Écrit par
Jérôme Feret
Publié par
pefav
-
138
pages
-
Français
-
Documents
Description
MPRI Abstract Interpretation of Mobile Systems Jérôme Feret Laboratoire d'Informatique de l'École Normale Supérieure INRIA, ÉNS, CNRS feret January, 2009
- approche indépendante du modèle
- laboratoire d'informatique de l'ecole normale
- composants récursifs
- analyse des liaisons dynamiques entre les composants
- système biologique
-
Publié par
-
Langue
Français
Ajouté à mes notifications
Vous serez informé des prochaines publications.