Sciweavers

936 search results - page 44 / 188
» FSM-Hume is finite state
Sort
View
ASE
2010
87views more  ASE 2010»
13 years 9 months ago
Estimating the feasibility of transition paths in extended finite state machines
Karnig Derderian, Robert M. Hierons, Mark Harman, ...
CN
2008
72views more  CN 2008»
13 years 9 months ago
Formal testing from timed finite state machines
Mercedes G. Merayo, Manuel Núñez, Is...