1
المُخرَجات
0
الاستشهادات
0
مؤشّر h
قيّم هذا الباحثلا تقييم بعد
يظهر المعدّل بعد 3 تقييمات.
التعاون الدولي ومجالات البحث
انقر على النقاط لعرض التفاصيل أو اختر دولة من القائمة
البصمة
عرض الكلّمفاهيم موزونة مستخرجة من عناوين المُخرَجات وملخّصاتها ومواضيعها، مجمّعة حسب المجال.
- Model-Driven Software Engineering Techniques
- Safety Systems Engineering in Autonomy
- Formal Methods in Verification
- model-driven engineering
- critical systems
- secure software development
- UML
- Object Constraint Language
- formal specification
- traceability