تخطَّ إلى المحتوى
جامعة الشهيد حمه لخضر — الواديبوابة البحث العلمي
دخول

Fatima Haloua

3
المُخرَجات
4
الاستشهادات
1
مؤشّر h
قيّم هذا الباحثلا تقييم بعد

يظهر المعدّل بعد 3 تقييمات.

التعاون الدولي ومجالات البحث

انقر على النقاط لعرض التفاصيل أو اختر دولة من القائمة

البصمة

عرض الكلّ

مفاهيم موزونة مستخرجة من عناوين المُخرَجات وملخّصاتها ومواضيعها، مجمّعة حسب المجال.

  • Model-Driven Software Engineering Techniques
  • Logic, programming, and type systems
  • Formal Methods in Verification
  • Safety Systems Engineering in Autonomy
  • automated theorem proving
  • critical systems
  • UML
  • Object Constraint Language
  • Access Control and Trust
  • Security and Verification in Computing

المُخرَجات البحثية(3)

عرض الكلّ