Benlahrache Nadira

Benlahrache Nadira

Université de Constantine 2 - Constantine / Algeria
Engineering & Technology / Computer Science
AD Scientific Index ID: 5038058
جامعة قسنطينة 2 عبد الحميد مهري
person_outline Benlahrache Nadira's MOST POPULAR ARTICLES
1-) A Review of IoT Systems Engineering: Application to the Smart traffic lights systemC Bouanaka, N Benlahrache, S Benhamaid, E Bouhamed2020 International Conference on Advanced Aspects of Software Engineering …, 202042020
2-) Model checking BRS based AADL specificationN Benlahrache, F Belala, TA CherfiaInternational Journal of Computer Applications 52 (21), 201242012
3-) Description formelle du Déploiement d\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\'Architectures AADL basée sur les Systèmes Réactifs BigraphiquesN Benlahrache, F Belala, K BarkaouiCAL\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\'2011, 5ème Conférence Francophone sur les Architectures Logicielles …, 201142011
4-) Extension d\'ABAReL par les Propriétés d\'Exécution.M Benammar, F Belala, K Barkaoui, N BenlahracheCAL 9, 45-58, 200942009
5-) Towards an UML-based SoS Analysis and Design ProcessB Nadira, C Bouanaka, M Bendjaballah, A Djarri2020 International Conference on Advanced Aspects of Software Engineering …, 202032020