الرئيسية › دليل الباحثين › Nadia Chabbat

Nadia Chabbat

الانتماء : Badji Mokhtar-Annaba University

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

OpenAlex

الملف البحثي

لدى Nadia Chabbat 2 منشور(ات) مفهرسة (2019–2020). تُنشر أعماله أساسًا في «Computing and Informatics» و«Synthese». أكثر مقالاته استشهادًا هو «Formal Verification of UML MARTE Specifications Based on a True Concurrency Real Time Model» (2020)، وقد استُشهد به 2 مرة. شارك في تأليف أعماله 3 باحثًا على الأقل.

هل هذا أنت؟ عرّف بأبحاثك

أنشئ ملفك على DzCademia مجانًا وأضف مقالاتك: ستظهر بسهولة أكبر على Google وفي مساعدي الذكاء الاصطناعي مثل ChatGPT، فيقرؤها ويستشهد بها عدد أكبر من الناس.

إنشاء ملفي المجاني إضافة منشوراتي

مجالات البحث

• Formal Methods in Verification
• Real-Time Systems Scheduling
• Petri Nets in System Modeling
• Model-Driven Software Engineering Techniques
• Safety Systems Engineering in Autonomy

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

• Formal Verification of UML MARTE Specifications Based on a True Concurrency Real Time Model
  2020 · Computing and Informatics · استُشهد به 2 مرة
• A process - oriented verification and validation for real time embedded systems
  2019 · Synthese

مجلات النشر

• Computing and Informatics × 1
• Synthese × 1

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

• 20201
• 20191

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

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

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

• Salim Ghanemi
• Djamel Eddine Saïdouni
• Radja Boukharrou

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