Équipe PaMDA
Vous êtes ici:
Plan du site
Accueil
Thèmes de recherche
Production Scientifique
Agenda de l'équipe
Liens utiles
Imprimer
Plan du site
Formulaire de contact
Plan du site
Accueil
Thèmes de recherche
Parallélisme structuré
Applications distribuées et systèmes répartis
Compilation certifiée
Vérification
Approximations par des langages d'arbres
Vérification de modèle/Réseaux de Petri
Unification et réécriture
Vérification de schéma XML
Composition d'applications distribuées
Services Web
Applications de visualisation scientifique
Production Scientifique
Publications
Logiciels
Projets
Agenda de l'équipe
Liens utiles
Autres
Logo PaMDA designed by
Ahmed Turki
| Powered by
CMSimple
| Template by
CMSimple
|
Connexion