Nabil Belala

Nabil Belala

Université de Constantine 2 - Constantine / Algeria
Others
AD Scientific Index ID: 4516779
جامعة قسنطينة 2 عبد الحميد مهري
person_outline Nabil Belala's MOST POPULAR ARTICLES
1-) Actions duration in timed modelsDE Saïdouni, N BelalaThe International Arab Conference on Information Technology (ACIT), 2006342006
2-) Aggregation of transitions in marking graph generation based on maximality semantics for Petri netsDE Saïdouni, N Belala, M BounebSecond International Workshop on Verification and Evaluation of Computer and …, 2008252008
3-) Non-atomicity in timed modelsN Belala, DE SaïdouniProceedings of ACIT 2005, 2005252005
4-) Using Maximality-Based Labeled Transition System Model for Concurrency Logic Verification.DE Saïdouni, N BelalaInt. Arab J. Inf. Technol. 2 (3), 199-205, 2005232005
5-) Modèles de temps et leur intérét à la vérification formelle des systèmes temps-réelN BelalaUniversité Mentouri de Constantine, Algérie, 2010192010