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éécriture UNIVERSITE MOHAMED KHIDER BISKRA, 2018
2-) A model transformation approach for specifying real-time systems and its verification using rt-maude International Journal of Information Technology and Web Engineering (IJITWE …, 2017
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