Filtros : "Gaudel, Marie-Claude" Limpar

Filtros



Refine with date range


  • Source: Information and Software Technology. Unidade: ICMC

    Subjects: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO

    Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      ALBERTO, Alex; CAVALCANTI, Ana; GAUDEL, Marie-Claude; SIMÃO, Adenilso da Silva. Formal mutation testing for Circus. Information and Software Technology, Amsterdam, Elsevier, v. 81, n. Ja 2017, p. 131-153, 2017. Disponível em: < http://dx.doi.org/10.1016/j.infsof.2016.04.003 > DOI: 10.1016/j.infsof.2016.04.003.
    • 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.Available from: http://dx.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.Available from: http://dx.doi.org/10.1016/j.infsof.2016.04.003
  • Unidade: IME

    Subjects: TÉCNICAS DE PROGRAMAÇÃO, INTELIGÊNCIA ARTIFICIAL

    Acesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      SILVA, Paulo Salem da; MELO, Ana Cristina Vieira de; GAUDEL, Marie-Claude. Verification of behaviourist multi-agent systems by means of formally guided simulations. 2011.Universidade de São Paulo, São Paulo, 2011. Disponível em: < http://www.teses.usp.br/teses/disponiveis/45/45134/tde-10042012-100539/ >.
    • APA

      Silva, P. S. da, Melo, A. C. V. de, & Gaudel, M. -C. (2011). Verification of behaviourist multi-agent systems by means of formally guided simulations. 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, Melo ACV de, Gaudel M-C. Verification of behaviourist multi-agent systems by means of formally guided simulations [Internet]. 2011 ;Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-10042012-100539/
    • Vancouver

      Silva PS da, Melo ACV de, Gaudel M-C. Verification of behaviourist multi-agent systems by means of formally guided simulations [Internet]. 2011 ;Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-10042012-100539/
  • Unidade: IME

    Assunto: SISTEMAS OPERACIONAIS

    How to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      JAMES, Perry Roland; ENDLER, Markus; GAUDEL, Marie-Claude. Development of an atomic-Broadcast protocol using LOTOS. [S.l: s.n.], 1997.
    • APA

      James, P. R., Endler, M., & Gaudel, M. -C. (1997). Development of an atomic-Broadcast protocol using LOTOS. São Paulo: IME-USP.
    • NLM

      James PR, Endler M, Gaudel M-C. Development of an atomic-Broadcast protocol using LOTOS. 1997 ;
    • Vancouver

      James PR, Endler M, Gaudel M-C. Development of an atomic-Broadcast protocol using LOTOS. 1997 ;

Digital Library of Intellectual Production of Universidade de São Paulo     2012 - 2021