Showing 1 - 3 results of 3 for search '"Reachability analysis."', सवाल का समय: 0.01सेकंड परिणाम को परिष्कृत करें
  1. 1

    Incremental integration testing of concurrent programs. द्वारा Koppol, P.V

    में प्रकाशित IEEE Transactions on software engineering
    लेख

    Incremental integration testing of concurrent programs.
  2. 2

    Combining hybrid Petri nets and hybrid automata. द्वारा Sava, A.T

    में प्रकाशित IEEE Transactions on robotics and automation
    लेख

    Combining hybrid Petri nets and hybrid automata.
  3. 3

    Apportioning a technique for efficient reachability analysis of concurrent object-oriented programs. द्वारा Iyer, S.

    में प्रकाशित IEEE Transactions on software engineering
    लेख

    Apportioning a technique for efficient reachability analysis of concurrent object-oriented programs.

खोज साधन: