الرئيسية › دليل الباحثين › Malika Boudia

Malika Boudia

الانتماء : University Mohamed Boudiaf of M'sila

• 3منشورات (انتماء جزائري)
• 4مجموع المنشورات
• 4الاستشهادات
• 1مؤشر h

OpenAlex

مجالات البحث

• Formal Methods in Verification
• Petri Nets in System Modeling
• Model-Driven Software Engineering Techniques
• Logic, programming, and type systems
• Semantic Web and Ontologies

المنشورات (3)

• Formalization of Ontology Conceptualizations Using Model Transformation
  2022 · International Journal of Information System Modeling and Design · استُشهد به 3 مرة
• A Model Transformation Approach for Specifying Real-Time Systems and Its Verification Using RT-Maude
  2017 · International Journal of Information Technology and Web Engineering · استُشهد به 1 مرة
• Model checking of real-time systems using rewriting logic
  2017 · International Conference on Electrical and Information Technologies

مجلات النشر

• International Journal of Information System Modeling and Design × 1
• International Journal of Information Technology and Web Engineering × 1
• International Conference on Electrical and Information Technologies × 1

المنشورات حسب السنة

• 20221
• 20172

التعاون العلمي

المؤسسات الشريكة : University of Biskra · Université Constantine 2

المؤلفون المشاركون

• Mustapha Bourahla
• Seidali Rehab
• Messaoud Bendiaf

البيانات البيبليوغرافية مصدرها OpenAlex (قاعدة مفتوحة).