Sciweavers

936 search results - page 44 / 188
» FSM-Hume is finite state
Sort
View
ASE
2010
87views more  ASE 2010»
14 years 11 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»
14 years 11 months ago
Formal testing from timed finite state machines
Mercedes G. Merayo, Manuel Núñez, Is...