Estratégia para geração de sequencias de verificação para máquinas de estados finitos (2013)
Porto, Faimison Rodrigues; Simão, Adenilso da Silva (Orientador) 
Subjects: ENGENHARIA DE SOFTWARE, SOFTWARES (TESTES), MÉTODO DOS ELEMENTOS FINITOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PORTO, Faimison Rodrigues. Estratégia para geração de sequencias de verificação para máquinas de estados finitos. 2013. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2013. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-10072013-164922/. Acesso em: 26 jan. 2026.APA
Porto, F. R. (2013). Estratégia para geração de sequencias de verificação para máquinas de estados finitos (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-10072013-164922/NLM
Porto FR. Estratégia para geração de sequencias de verificação para máquinas de estados finitos [Internet]. 2013 ;[citado 2026 jan. 26 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-10072013-164922/Vancouver
Porto FR. Estratégia para geração de sequencias de verificação para máquinas de estados finitos [Internet]. 2013 ;[citado 2026 jan. 26 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-10072013-164922/
