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
>
View
>
M Maouche
Publications
1999
Conférence Internationale avec comité de lecture
[CBM99] A. Chaoui, M. Bettaz, M Maouche,
K. Barkaoui
. "
Vers une synthèse modulaire des superviseurs des systèmes a événements discrets: simulation a l'aide du langage MAUDE
", MOSIM'99, SCS International, January 1999,
pp.
131-136,
[BMB99] M. Bettaz, M Maouche,
K. Barkaoui
. "
De l'héritage du cycle de vie dans les objets: une approche basée sur les ECATNets
", MOSIM'99, SCS International, January 1999,
pp.
125-130,
1996
Conférence Internationale avec comité de lecture
[BMB96] M. Bettaz, M Maouche,
K. Barkaoui
. "
Formal Specification of Communication Protocols with Object-Based ECATNets
", 22nd EUROMICRO Conference, January 1996,
pp.
492 - 499,
Electronique
Informatique
Mathématiques
Master
CNA
M
Réseau Cnam
Accès
Contact
Informations Légales