Результаты поиска - "Reachability."

  • Отображение 1 - 6 результаты of 6
Отмена результатов
  1. 1

    A Feedback Transformation of the Planning Problems. по Sierocki, Ireneusz

    Статья


    Значок книги
  2. 2

    Combining hybrid Petri nets and hybrid automata. по Sava, A.T

    Опубликовано в: IEEE Transactions on robotics and automation
    Статья


    Значок книги
  3. 3

    Incremental integration testing of concurrent programs. по Koppol, P.V

    Опубликовано в: IEEE Transactions on software engineering
    Статья


    Значок книги
  4. 4

    Compositional schedulability analysis of real-time systems using time Petri nets. по Dianxiang Xu

    Опубликовано в: IEEE Transactions on software engineering
    Статья


    Значок книги
  5. 5

    Static analysis and dynamic steering of time-dependent systems. по Vicario, E.

    Опубликовано в: IEEE Transactions on software engineering
    Статья


    Значок книги
  6. 6

    Apportioning a technique for efficient reachability analysis of concurrent object-oriented programs. по Iyer, S.

    Опубликовано в: IEEE Transactions on software engineering
    Статья


    Значок книги

Инструменты поиска: