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

    Detecting implied scenarios in message sequence chart specifications. حسب Uchitel, Sebastian

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

    Detecting implied scenarios in message sequence chart specifications.
  2. 2

    Incremental integration testing of concurrent programs. حسب Koppol, P.V

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

    Incremental integration testing of concurrent programs.

أدوات البحث: