يعرض 1 - 1 نتائج من 1 نتيجة بحث عن '"Executive Support Language."', وقت الاستعلام: 0.02s تنقيح النتائج
  1. 1

    Formal analysis of a space-craft controller using SPIN. حسب Havelund, K.

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

    Formal analysis of a space-craft controller using SPIN.

أدوات البحث: