 | 2008 |
|---|
| 9 |       | Chafia Bouanaka,
Faiza Belala:
Towards a mobile architecture description language.
AICCSA 2008: 743-748 |
| 8 |  | Faiza Belala,
Fateh Latreche,
Malika Benammar:
Vers l'Intégration des Propriétés non Fonctionnelles dans le Langage SADL.
CAL 2008: 91-105 |
| 7 | | Chafia Bouanaka,
Faiza Belala:
Tile logic as an architectural model for mobility.
ISCC 2008: 525-530 |
| 6 | | Malika Benammar,
Faiza Belala,
Fateh Latreche:
AADL behavioral annex based on generalized rewriting logic.
RCIS 2008: 1-8 |
| 5 | | Aicha Choutri,
Faiza Belala,
Kamel Barkaoui:
Towards a tile based LfP semantics.
RCIS 2008: 9-16 |
| 2007 |
|---|
| 4 | | Chafia Bouanaka,
Aicha Choutri,
Faiza Belala:
On Generating Tile System for a Software Architecture Case of a Collaborative Application Session.
ICSOFT (SE) 2007: 123-128 |
| 2006 |
|---|
| 3 | | Faiza Belala,
A. Boucherit:
A Contribution to the Formal Checking of Multi-Agents Systems.
AICCSA 2006: 9-16 |
| 2002 |
|---|
| 2 | | Faiza Belala,
Mohamed Bettaz:
A Natural Semantic Framework for ECATNets.
Applied Categorical Structures 10(5): 431-447 (2002) |
| 2000 |
|---|
| 1 | | Faiza Belala,
Mohamed Bettaz,
Laure Petrucci-Dauchy:
Concurrent Systems Analysis Using ECATNets.
Logic Journal of the IGPL 8(2): (2000) |
