Results 11 -
11 of
11
Modeling, Verification and Testing using Timed and Hybrid Automata
"... 1.2 Modeling with timed and hybrid automata................... 3 ..."
L.: Enhancing random walk state space exploration (2005)
by R Pelánek, T Hanˇzl, I Černá, Brim
| Venue: | In: FMICS ’05 |
