الرئيسية › دليل الباحثين › Abdia Hamdani

Abdia Hamdani

الانتماء : Université IBN Khaldoun Tiaret

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

OpenAlex

مجالات البحث

• Petri Nets in System Modeling
• Formal Methods in Verification
• Business Process Modeling and Analysis
• Model-Driven Software Engineering Techniques
• Network Time Synchronization Technologies

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

• Spécification et Vérification des PropriétésTemporelles Qualitatives et Quantitatives desSystèmes Temps Réel Complexes
  2023 · HAL
• Towards modelling and analyzing timed workflow systems with complex synchronizations
  2019 · Journal of King Saud University - Computer and Information Sciences · استُشهد به 6 مرة
• Time Petri net with rendezvous
  2017 · International Conference on Control, Decision and Information Technologies (CoDIT) · استُشهد به 1 مرة

مجلات النشر

• HAL × 1
• Journal of King Saud University - Computer and Information Sciences × 1
• International Conference on Control, Decision and Information Technologies (CoDIT) × 1

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

• 20231
• 20191
• 20171

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

المؤسسات الشريكة : University of Sciences and Technology Houari Boumediene

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

• Abdelkrim Abdelli

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