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

Nadia Menad

الانتماء : Université des Sciences et de la Technologie d'Oran Mohamed Boudiaf

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

OpenAlex

الملف البحثي

لدى Nadia Menad 2 منشور(ات) مفهرسة (2013–2016). تُنشر أعماله أساسًا في «HAL» و«Lecture notes in computer science». أكثر مقالاته استشهادًا هو «A Transformation Approach for Multiform Time Requirements» (2013)، وقد استُشهد به 3 مرة. شارك في تأليف أعماله 1 باحثًا على الأقل.

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

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

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

مجالات البحث

• Formal Methods in Verification
• Model-Driven Software Engineering Techniques
• Topic Modeling
• Sentiment Analysis and Opinion Mining
• Embedded Systems Design Techniques

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

• TOWARDS A TRANSFORMATION APPROACH OF TIMED UML MARTE SPECIFICATIONSFOR OBSERVER-BASED FORMAL VERIFICATION
  2016 · HAL · استُشهد به 2 مرة
• A Transformation Approach for Multiform Time Requirements
  2013 · Lecture notes in computer science · استُشهد به 3 مرة

مجلات النشر

• HAL × 1
• Lecture notes in computer science × 1

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

• 20161
• 20131

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

• Rachida Mekki

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