skip to main content

Checking completeness of tests for finite state machines

Adenilso da Silva Simão Alexandre Petrenko

IEEE Transactions on Computers Los Alamitos : IEEE Computer Society v. 59, n. 8, p. 1023-1032, aug. 2010

Los Alamitos 2010

Acesso online. A biblioteca também possui exemplares impressos.

Buscando em bases de dados remotas. Favor aguardar.