يعرض 1 - 2 نتائج من 2 نتيجة بحث عن '"Finite state model."', وقت الاستعلام: 0.02s تنقيح النتائج
  1. 1
  2. 2

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

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