يعرض 1 - 1 نتائج من 1 نتيجة بحث عن 'Thang, Nguyen Truong', وقت الاستعلام: 0.01s تنقيح النتائج
  1. 1

    Specification and verification of inter-component constraints in CTL. حسب Thang, Nguyen Truong

    الحاوية / القاعدة Software engineering notes.
    مقال

    Specification and verification of inter-component constraints in CTL.

أدوات البحث: