खोज परिणाम - "Reachability."

  • प्रदर्शित 1 - 6 परिणाम 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
    लेख


    कवर छवि

खोज साधन: