Recherche
Présentation
Le laboratoire
Organigramme
Recrutement
Contact
Accès
Recherche
Equipes
- Administration
- ILJ
- Isid
- Laetitia
- MSDMA
- OC
- SYS
- Vertigo
Actualités et Evénements
Membres
Publications
Doctorants
Formation
Electronique
Informatique
Mathématiques
Master
ENSIIE
Ecole Doctorale
Intranet
Connexion
Accueil CEDRIC
>
Laboratoire
>
Membre
>
Boudhar
>
Kamel Boudhar
Doctorant(e)
Equipe Isid
Parti depuis le 01/01/2000
Mail :
boudharkamel
yahoo.fr
Kamel's Tag-Cloud :
collaborative workflow
,
linear temporal logic
,
model checking
,
resource constraints
,
spin
description
Publications
2012
Conférence Nationale avec comité de lecture
[SB12] Z. Sbaï,
K. Boudhar
. "
Vérification Formelle des Processus Workflow Collaboratifs
", Actes de la conférence francophone sur les Systèmes Collaboratifs (SysCo 2012), May 2012,
pp.
197-210,
Electronique
Informatique
Mathématiques
Master
CNA
M
Réseau Cnam
Accès
Contact
Informations Légales