Accueil Présentation Organigramme Annuaire Trombinoscope Sites / accès Nous contacter Équipes COSI I&M IMS INCA INCOD Pôles transversaux Projets struct. SEDIP SIC Vie du laboratoire Bulletins d'info Chercheurs invités Conférences Séminaires Soutenances JDL6'08 Majecstic'08 Rechercher :

Wassim TROJET Membre de l'équipe COSI   Fonction : Doctorant UFR : Université Aix-Marseille (U3)   Tél. : E-mail : wassimtrojetlsisorg   Adresse :  THÈSE Sujet de thèse : Méthodes de vérification et de validation basées sur la spécification Z et le formalisme DEVS Directeur(s) de thèse : Claudia FRYDMAN Date de début de thèse : octobre 2006 PUBLICATIONS [ présentation : catégorie > année / année > catégorie / compacte / BibTeX ]  [1] G. Zacharewicz, M. E.-A. Hamri, W. Trojet, C. Frydman, N. Giambiasi, “G-DEVS / HLA Environment for Distributed Simulations of Workflows”, in: International Conference on Modeling and Simulation - Methodology, Tools, Software Applications (M&S-MTSA'06), SCS, pp. 206 - 211, Calgary, Alberta, Canada, July 31 - August 02 2006. ISBN 1-56555-309-8 Invited talk.[bib]  webmaster

Recherche Publications :  - articles  - brevets  - conf. avec actes  - conf. sans actes  - ouvrages  - chapitres d'ouvr.  - directions d'ouvr.  - rech. manuelle Thèses en cours Thèses et HDR Rapports de rech. Actions STIC Enseignement Master SIS Liens CNRS  >  STIC  U1 U2 U3 CMI École doctorale ENSAM ESIL Polytech' Marseille A2DL GDR I3 : VerSim GDR I3 : Mimosa GDR MACS Intranet Webmail