الرئيسية › دليل الباحثين › Mokhtar Beldjehem

Mokhtar Beldjehem

الانتماء : University of Ottawa

• 3منشورات (انتماء كندي)
• 17مجموع المنشورات
• 48الاستشهادات
• 4مؤشر h

ORCIDOpenAlex

مجالات البحث

• Fuzzy Logic and Control Systems
• Rough Sets and Fuzzy Logic
• Model-Driven Software Engineering Techniques
• Advanced Algebra and Logic
• Logic, programming, and type systems

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

• Capturing and Verifying Dynamic Systems Behavior Using UML and $$\pi $$ π -Calculus
  2016 · Advances in intelligent systems and computing · استُشهد به 1 مرة
• Capturing and Verifying Dynamic Program Behaviour Using UML Communication Diagrams and Pi-Calculus
  2015 · IEEE International Conference on Information Reuse and Integration (IRI) · استُشهد به 2 مرة
• Formalization of Mobile UML Statechart Diagrams Using the π-calculus: An Approach for Modeling and Analysis
  2014 · Communications in computer and information science · استُشهد به 4 مرة

مجلات النشر

• Advances in intelligent systems and computing × 1
• IEEE International Conference on Information Reuse and Integration (IRI) × 1
• Communications in computer and information science × 1

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

• 20161
• 20151
• 20141

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