نتائج البحث - "Correctness conditions."

  • يعرض 1 - 1 نتائج من 1
تنقيح النتائج
  1. 1

    A formal specification and verification framework for Time Warp-based parallel simulation. حسب Frey, P.

    الحاوية / القاعدة IEEE Transactions on software engineering
    مقال


    صورة الغلاف

أدوات البحث: