Messaoud Bendiaf

Messaoud Bendiaf

Université Mohamed El Bachir El Ibrahim Bordj Bou Arréridj - El Anceur / Algeria
Others
AD Scientific Index ID: 5043209
University Mohamed El Bachir El Ibrahimi of Bordj Bou Arreridj
person_outline Messaoud Bendiaf's MOST POPULAR ARTICLES
1-) Spécification et vérification des systèmes embarqués temps réel en utilisant la logique de réécritureM BendiafUNIVERSITE MOHAMED KHIDER BISKRA, 201832018
2-) A model transformation approach for specifying real-time systems and its verification using rt-maudeM Bendiaf, M Bourahla, M Boudia, S RehabInternational Journal of Information Technology and Web Engineering (IJITWE …, 201722017
3-) Model checking of real-time systems using rewriting logic M Bendiaf, M Bourahla, M Boudia, S Rehab 2017 International Conference on Electrical and Information Technologies …, 2017 22017
4-) Intégration de la simulation discrète dans les systèmes de productionB MessaoudM\'sila, Université Mohamed Boudiaf. Faculté des Mathématique et de l …, 20112011