Parceria:
José Carlos Maldonado, Renata A. de Carvalho, Sandra Camargo P. F. Fabbri.
Finite State Machine (FSM) is one of the most used techniques for the specification of the Reactive Systems incremental, low-cost testing and validation strategy in the context of FSM.
http://www.lbd.dcc.ufmg.br:8080/colecoes/sbes/1999/29.pdf
Caso o link acima esteja inválido, faça uma busca pelo texto completo na Web: Buscar na Web
Processando consulta.