مخبر الإعلام الألي و الرياضيات

جــــامـعــة محــمــد الشــريف مسـاعــــدية - ســـوق أهــراس
https://www.univ-soukahras.dz/ar/lab/lim
 
  • الرئيسية
  • مواضيع البحث
  • الأعضاء
  • المنشورات
  • مشاريع البحث
  • عن المخبر
  • Login
  • جامعـــة ســوق أهراس
 

مقداد عروس

أستاذ محاضر ب
قسم الإعلام الآلي
كلية العلوم و التكنولوجيا
جامعـــة ســوق أهراس
سوق أهراس , 41000. الجزائر
: m.arous@univ-soukahras.dz
: https://www.univ-soukahras.dz/ar/profile/amokdad

المقاييس المدرسة

المقياس المستوى التخصص

Programmation par contraintes

ماستر - S3 ويب و الذكاء الإصطناعي

Théorie des langages

ليســـانـس - S4 جذع مشترك اعلام آلي ل2

Projet Fin d’études

ماستر - S4 هندسة برمجية

المنشورات العلمية ( 4 )

Journals

[1] Mokdad Arous and Djamel-Eddine Saïdouni (2013) Towards an Integrated Specification and Analysis of Functional and Temporal Properties. Part I: Functional Aspect Verification. Modeling Approaches and Algorithms for Advanced Computer Applications - Studies in Computational Intelligence , (Volume 488), 367–377, Springer International Publishing Switzerland

Conferences

[1] Mokdad Arous, Jean-Michel Ilié and Djamel-Eddine Saidouni (2012) Addressing State Space Explosion Problem in Performance Evaluation Using Maximality-based Labeled Stochastic Transition Systems. 2nd International Conference on Computer and Software Modeling - ICCSM 2012 , Cochin, India
[2] Mokdad Arous, Djamel-Eddine Saidouni and Jean-Michel Ilié (2011) Maximality Semantics based Stochastic Process Algebra for Performance Evaluation. 1st IEEE International Conference on Communications, Computing and Control Applications (CCCA’11) March 3-5, 2011 , Hammamet, Tunisia.

Other Publications

[1] Mokdad AROUS (2016) Cours de Programmation Logique. Université de Souk Ahras ,

روابط و معلومات

  • » قسم الإعلام الآلي
 
 

للإتصال بنا

  • جامعـــة ســوق أهراس
    سوق أهراس , 41000 - الجزائر
  • +213.(0)37.75.30.15
  • +213.(0)37.75.30.06
  • info@univ-soukahras.dz
 
 

الإدارة

  • عمادة البحث العلمي
  • عمادة البيداغوجيا
  • عمادة العلاقات الخارجية و التعاون
  • عمادة التخطيط و الإستشراف
  • الأمانة العامة
 
 

خدمات

  • التعليم عن بعد
  • المنشورات
  • المخابر
  • البريد
  • روابط مهمة
 
 

ابقى على اتصال

5 9 0 1 8 5 8 0
Views Last 7 days : 102674
Views This Month : 320757
 
 © 2012-2025 جامعـــة ســوق أهراس. جميع الحقوق محفوظة.