logo du LSIS Laboratoire des Sciences de l'Information et des Systèmes

Accueil
Présentation
Organigramme
Annuaire
Trombinoscope
Sites / accès
Nous contacter

Équipes
COSI
I&M
IMS
INCA
INCOD
SEDIP
Pôles transversaux

Projets struct.
SIC
SimGraph

Vie du laboratoire
Bulletins d'info
Chercheurs invités
Conférences
Séminaires
Soutenances
JDL6'08
Majecstic'08

Rechercher :

Wassim TROJET

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 ] 
@inproceedings {ZHTFG06a,
audience = {internationale},
author = {G. Zacharewicz and A. Hamri and W. Trojet and C. Frydman and N. Giambiasi},
title = {G-DEVS / HLA Environment for Distributed Simulations of Workflows},
booktitle = {International Conference on Modeling and Simulation - Methodology, Tools, Software Applications (M\&S-MTSA'06)},
editor = {SCS},
pages = {206 - 211},
address = {Calgary, Alberta, Canada},
month = {July 31 - August 02},
year = {2006},
note = {ISBN 1--56555-309--8 Invited talk},
equipe = {COSI}
}
 

envoyer un email au webmaster webmaster page précédente  haut de la page  page d'accueil du LSIS
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