Fateh Latreche

Fateh Latreche

Université de Constantine 2 - Constantine / Algeria
Engineering & Technology / Computer Science
AD Scientific Index ID: 5039136
جامعة قسنطينة 2 عبد الحميد مهري
person_outline Fateh Latreche's MOST POPULAR ARTICLES
1-) AADL behavioral annex based on generalized rewriting logic M Benammar, F Belala, F Latreche 2008 Second International Conference on Research Challenges in Information …, 2008 102008
2-) A semantic framework for analyzing web services composition F Latreche, F Belala International Journal of Computer Applications 5 (4), 47-53, 2010 42010
3-) Vers l\'Intégration des Propriétés non Fonctionnelles dans le Langage SADL.F Belala, F Latreche, M BenammarCAL, 91-105, 200842008
4-) Timed CTL checking of time critical cloud applications using timed bigraphsF Latreche, F BelalaInternational Journal of Critical Computer-Based Systems 9 (4), 379-406, 201932019
5-) Clinical pathways formal modelling using bigraphical reactive systemsF Latreche, A Moudjari, H TalbiTheoretical Aspects of Computing–ICTAC 2019: 16th International Colloquium …, 201932019