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

    Automatic abstraction for model checking software systems with interrelated numeric constraints. حسب Choi, Yunja

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

    Automatic abstraction for model checking software systems with interrelated numeric constraints.

أدوات البحث: