ReP USP - Resultado da busca

Artigo de periodico
Formal mutation testing for Circus (2017)
Alberto, Alex; Cavalcanti, Ana; Gaudel, Marie-Claude; Simão, Adenilso da Silva
Fonte: Information and Software Technology. Unidade: ICMC
Assuntos: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ALBERTO, Alex et al. Formal mutation testing for Circus. Information and Software Technology, v. 81, n. Ja 2017, p. 131-153, 2017Tradução . . Disponível em: https://doi.org/10.1016/j.infsof.2016.04.003. Acesso em: 02 nov. 2024.
APA
Alberto, A., Cavalcanti, A., Gaudel, M. -C., & Simão, A. da S. (2017). Formal mutation testing for Circus. Information and Software Technology, 81( Ja 2017), 131-153. doi:10.1016/j.infsof.2016.04.003
NLM
Alberto A, Cavalcanti A, Gaudel M-C, Simão A da S. Formal mutation testing for Circus [Internet]. Information and Software Technology. 2017 ; 81( Ja 2017): 131-153.[citado 2024 nov. 02 ] Available from: https://doi.org/10.1016/j.infsof.2016.04.003
Vancouver
Alberto A, Cavalcanti A, Gaudel M-C, Simão A da S. Formal mutation testing for Circus [Internet]. Information and Software Technology. 2017 ; 81( Ja 2017): 131-153.[citado 2024 nov. 02 ] Available from: https://doi.org/10.1016/j.infsof.2016.04.003
Tese (Doutorado)
Verification of behaviourist multi-agent systems by means of formally guided simulations (2011)
Silva, Paulo Salem da; Melo, Ana Cristina Vieira de (Orientador); Gaudel, Marie-Claude (Orientador)
Unidade: IME
Assuntos: TÉCNICAS DE PROGRAMAÇÃO, INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SILVA, Paulo Salem da. Verification of behaviourist multi-agent systems by means of formally guided simulations. 2011. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2011. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-10042012-100539/. Acesso em: 02 nov. 2024.
APA
Silva, P. S. da. (2011). Verification of behaviourist multi-agent systems by means of formally guided simulations (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-10042012-100539/
NLM
Silva PS da. Verification of behaviourist multi-agent systems by means of formally guided simulations [Internet]. 2011 ;[citado 2024 nov. 02 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-10042012-100539/
Vancouver
Silva PS da. Verification of behaviourist multi-agent systems by means of formally guided simulations [Internet]. 2011 ;[citado 2024 nov. 02 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-10042012-100539/
Relatorio tecnico
Development of an atomic-Broadcast protocol using LOTOS (1997)
James, Perry Roland; Endler, Markus ; Gaudel, Marie-Claude
Unidade: IME
Assuntos: DESENVOLVIMENTO DE SOFTWARE, LINGUAGENS FORMAIS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
JAMES, Perry Roland e ENDLER, Markus e GAUDEL, Marie-Claude. Development of an atomic-Broadcast protocol using LOTOS. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/b7b19424-3f8a-4012-93ce-1030cb608c8b/975455.pdf. Acesso em: 02 nov. 2024. , 1997
APA
James, P. R., Endler, M., & Gaudel, M. -C. (1997). Development of an atomic-Broadcast protocol using LOTOS. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/b7b19424-3f8a-4012-93ce-1030cb608c8b/975455.pdf
NLM
James PR, Endler M, Gaudel M-C. Development of an atomic-Broadcast protocol using LOTOS [Internet]. 1997 ;[citado 2024 nov. 02 ] Available from: https://repositorio.usp.br/directbitstream/b7b19424-3f8a-4012-93ce-1030cb608c8b/975455.pdf
Vancouver
James PR, Endler M, Gaudel M-C. Development of an atomic-Broadcast protocol using LOTOS [Internet]. 1997 ;[citado 2024 nov. 02 ] Available from: https://repositorio.usp.br/directbitstream/b7b19424-3f8a-4012-93ce-1030cb608c8b/975455.pdf

Unidades USP

ReP

Filtros

Autores

Assuntos