Mostra 1 - 3 risultati di 3 ricerca '"Reachability analysis."', tempo di risposta: 0,01s Raffina i risultati
  1. 1

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

    Articolo

    Incremental integration testing of concurrent programs.
  2. 2

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

    Articolo

    Combining hybrid Petri nets and hybrid automata.
  3. 3

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

    Articolo

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

Strumenti per la ricerca: