Menu

Filtros : "Alberto, Alex D. B" Limpar

Filtros

Refine with date range

  • 1

1 - 2 (2 records)

  • Tese (Doutorado)

    Formal mutation testing in Circus process algebra (2018)

    Alberto, Alex D. B; Gauldel, Marie-Caude Antoinette Renée (coorient); 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 D. B. Formal mutation testing in Circus process algebra. 2018. Tese (Doutorado) – Universidade de São Paulo, São Carlos, 2018. Disponível em: https://teses.usp.br/teses/disponiveis/55/55134/tde-04012019-112931/. Acesso em: 04 maio 2026.

    • 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 https://teses.usp.br/teses/disponiveis/55/55134/tde-04012019-112931/

    • NLM

      Alberto ADB. Formal mutation testing in Circus process algebra [Internet]. 2018 ;[citado 2026 maio 04 ] Available from: https://teses.usp.br/teses/disponiveis/55/55134/tde-04012019-112931/

    • Vancouver

      Alberto ADB. Formal mutation testing in Circus process algebra [Internet]. 2018 ;[citado 2026 maio 04 ] Available from: https://teses.usp.br/teses/disponiveis/55/55134/tde-04012019-112931/

  • Artigo de periodico

    Iterative minimization of partial finite state machines (2013)

    Alberto, Alex D. B; Simão, Adenilso da Silva

    Source: Central European Journal of Computer Science. 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 D. B e SIMÃO, Adenilso da Silva. Iterative minimization of partial finite state machines. Central European Journal of Computer Science, v. 3, n. 2 , p. 91-103, 2013Tradução . . Disponível em: https://doi.org/10.2478/s13537-013-0106-0. Acesso em: 04 maio 2026.

    • APA

      Alberto, A. D. B., & Simão, A. da S. (2013). Iterative minimization of partial finite state machines. Central European Journal of Computer Science, 3( 2 ), 91-103. doi:10.2478/s13537-013-0106-0

    • NLM

      Alberto ADB, Simão A da S. Iterative minimization of partial finite state machines [Internet]. Central European Journal of Computer Science. 2013 ; 3( 2 ): 91-103.[citado 2026 maio 04 ] Available from: https://doi.org/10.2478/s13537-013-0106-0

    • Vancouver

      Alberto ADB, Simão A da S. Iterative minimization of partial finite state machines [Internet]. Central European Journal of Computer Science. 2013 ; 3( 2 ): 91-103.[citado 2026 maio 04 ] Available from: https://doi.org/10.2478/s13537-013-0106-0
  • 1

1 - 2 (2 records)

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