Rechercher

Chafia Bouanaka

Doctorant(e)

Publications

2011

2010

    Conférence Internationale avec comité de lecture

  • [BBBa10] C. Bouanaka, F. Belala, K. Barkaoui. "A Tile Logic Based Semantics for Mobile Software Architecture", VECoS'10, 4th International Workshop on Verification and Evaluation of Computer and Communication Systems, Paris, France, 1 - 2 July 2010, January 2010, pp.35-47, Series The eWiC Series (ISSN 1477-9358),

2009