Menu

Filtros : "Ciências de Computação e Matemática Computacional" "ALBERTO, ALEX DONIZETI BETEZ" Removido: "2013" Limpar

Filtros

Refine with date range

  • 1

1 - 2 (2 records)

  • Tese (Doutorado)

    Formal mutation testing in Circus process algebra (2018)

    Alberto, Alex Donizeti Betez; Gauldel, Marie-Caude Antoinette Renée (Orientador); Simão, Adenilso da Silva (Orientador)

    Unidade: ICMC

    Subjects: SOFTWARES, ENGENHARIA DE SOFTWARE

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

    • ABNT

      ALBERTO, Alex Donizeti Betez. Formal mutation testing in Circus process algebra. 2018. Tese (Doutorado) – Universidade de São Paulo, São Carlos, 2018. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-04012019-112931/. Acesso em: 16 set. 2024.

    • APA

      Alberto, A. D. B. (2018). Formal mutation testing in Circus process algebra (Tese (Doutorado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-04012019-112931/

    • NLM

      Alberto ADB. Formal mutation testing in Circus process algebra [Internet]. 2018 ;[citado 2024 set. 16 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-04012019-112931/

    • Vancouver

      Alberto ADB. Formal mutation testing in Circus process algebra [Internet]. 2018 ;[citado 2024 set. 16 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-04012019-112931/

  • Dissertação (Mestrado)

    Uma estratégia para a minimização de máquinas de estados finitos parciais (2009)

    Alberto, Alex Donizeti Betez; Simão, Adenilso da Silva (Orientador)

    Unidade: ICMC

    Subjects: ENGENHARIA DE SOFTWARE (MODELOS;ESPECIFICAÇÃO;SISTEMAS), SOFTWARES (TESTES;QUALIDADE)

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

    • ABNT

      ALBERTO, Alex Donizeti Betez. Uma estratégia para a minimização de máquinas de estados finitos parciais. 2009. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2009. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-08062009-105244/. Acesso em: 16 set. 2024.

    • APA

      Alberto, A. D. B. (2009). Uma estratégia para a minimização de máquinas de estados finitos parciais (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-08062009-105244/

    • NLM

      Alberto ADB. Uma estratégia para a minimização de máquinas de estados finitos parciais [Internet]. 2009 ;[citado 2024 set. 16 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-08062009-105244/

    • Vancouver

      Alberto ADB. Uma estratégia para a minimização de máquinas de estados finitos parciais [Internet]. 2009 ;[citado 2024 set. 16 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-08062009-105244/
  • 1

1 - 2 (2 records)

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