A practical approach for testing timed deterministic finite state machines with single clock
Khaled El-Fakih Nina Yevtushenko; Adenilso da Silva Simão
Science of Computer Programming Amsterdam : Elsevier B. V. v. 80, parte B, p. 343-355, fev 2014Amsterdam 2014
Localização: ICMC - Inst. Ciên. Mat. Computação (PROD 2420091 )(Acessar)