Accueil
>
Verimag
>
Séminaires
Détails sur le séminaire
Grande Salle de VERIMAG
18 novembre 2010 - 14h00
Le modèle du marcheur pour les réseaux d'interactions
par Antoine GERBAUD de Synchrone/Asynchrone
Résumé : tba
Navigation
Rubriques
Verimag
Direction et Responsables
Membres
Publications
Outils
Thèse en cours
Emplois et stages
Projets
Partenaires
Colloques et Conférences
Séminaires
Archives
Documents
Axes
Contact
Plan du site
Acces au Batiment
Actualités
ACTUALITÉS
Développement, conception et sémantique des langages de programmation
Chaire de professeur junior CNRS
Nouvelles publications
Quelques Publications Récentes
Karine Altisen, Marius Bozga:
Revisited Convergence of a Self-stabilizing BFS Spanning Tree Algorithm
Marius Bozga, Radu Iosif, Florian Zuleger:
Iterating Non-Aggregative Structure Compositions
Marius Bozga, Radu Iosif, Florian Zuleger:
Regular Grammars for Sets of Graphs of Tree-Width 2
Iulia Dragomir, Carlos Redondo, Tiago Jorge, Laura Gouveia, Iulian Ober, Marius Bozga, Maxime Perrotin:
Specification and model-checking of space systems in the TASTE toolset
Offres d'emploi et stages
Offres d'emploi et stages
Chaire de professeur junior CNRS
Contact
|
Plan du site
|
Site réalisé avec SPIP 4.4.23
+
AHUNTSIC
[CC License]
info visites
8349122
English
Français