الرجوع
الصوت
المظهر
تسجيل الدخول
أنت تتصفح نسخة مؤرشفة من الموقع
اضغط للانتقال إلى الموقع الجديد بكامل المزايا
علامة (يتطلب تسجيل الدخول)
تم الحل (يتطلب تسجيل الدخول)
Question 92/96
What research direction in Formal Methods addresses re-usability of components?
Compositionality
Proven-in-use tools
Product lines
Parallelization
Previous
Next