159
click to vote
ASWEC
2007
IEEE
16 years 2 days ago
2007
IEEE
This paper explains some analyses that can be performed on a hierarchical finite state machine to validate that it performs as intended. Such a hierarchical state machine has tra...