Sciweavers

2346 search results - page 54 / 470
» Hierarchical State Machines
Sort
View
PTS
2008
80views Hardware» more  PTS 2008»
13 years 9 months ago
Generating Checking Sequences for Partial Reduced Finite State Machines
The problem of generating checking sequences for FSMs with distinguishing sequence has been attracting interest of researchers for several decades. In this paper, a solution is pro...
Adenilso da Silva Simão, Alexandre Petrenko
ASE
2010
87views more  ASE 2010»
13 years 7 months ago
Estimating the feasibility of transition paths in extended finite state machines
Karnig Derderian, Robert M. Hierons, Mark Harman, ...