skip to main content

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 2014

Amsterdam 2014

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD 2420091 )(Acessar)

Buscando em bases de dados remotas. Favor aguardar.