Showing 1 - 6 results of 6 for search '"Reachability."', tempo de consulta: 0.01s Limitar resultados
  1. 1

    Incremental integration testing of concurrent programs. por Koppol, P.V

    Artigo

    Incremental integration testing of concurrent programs.
  2. 2

    Combining hybrid Petri nets and hybrid automata. por Sava, A.T

    Artigo

    Combining hybrid Petri nets and hybrid automata.
  3. 3

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

    Artigo

    Compositional schedulability analysis of real-time systems using time Petri nets.
  4. 4

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

    Artigo

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

    A Feedback Transformation of the Planning Problems. por Sierocki, Ireneusz

    Artigo

    A Feedback Transformation of the Planning Problems.
  6. 6

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

    Artigo

    Static analysis and dynamic steering of time-dependent systems.

Ferramentas de procura: