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
>
Nadira Benlahrache
Stagiaire
Laboratoire: LIRE (Algérie)
Publications
2011
Conférence Nationale avec comité de lecture
[BBB11] N. Benlahrache, F. Belala,
K. Barkaoui
. "
Description formelle du Déploiement d'Architectures AADL basée sur les Systèmes Réactifs Bigraphiques
", CAL'2011, 5ème Conférence Francophone sur les Architectures Logicielles, June 2011,
pp.
15-29, Lille, France,
[BBBc11] N. Benlahrache, F. Belala,
K. Barkaoui
. "
Description formelle du Déploiement d'Architectures AADL basée sur les Systèmes Réactifs Bigraphiques
", CAL'2011, 5ème Conférence Francophone sur les Architectures Logicielles, June 2011, , June 2011,
pp.
15-29,
2009
Conférence Nationale avec comité de lecture
[BBB09] M. Benammar, F. Belala,
K. Barkaoui
, N. Benlahrache. "
Extension d'ABAReL par les Propriétés d'Exécution.
", CAL'09, 3ième Conférence sur les Architectures Logicielles, Nancy, France, January 2009,
pp.
28-41,
Series
CAL 2009
,
Electronique
Informatique
Mathématiques
Master
CNA
M
Réseau Cnam
Accès
Contact
Informations Légales