Filtros : "Checking sequence" Limpar

Filtros



Refine with date range


  • Source: Lecture Notes in Computer Science (LNCS). Conference titles: IFIP International Conference on Testing Software and Systems - IFIP-ICTSS. Unidade: ICMC

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

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

      PETRENKO, Alexandre e SIMÃO, Adenilso da Silva. Generating checking sequences for user defined fault models. Lecture Notes in Computer Science (LNCS). Cham, SZ: Springer. Disponível em: https://doi.org/10.1007/978-3-319-67549-7_20. Acesso em: 26 jan. 2026. , 2017
    • APA

      Petrenko, A., & Simão, A. da S. (2017). Generating checking sequences for user defined fault models. Lecture Notes in Computer Science (LNCS). Cham, SZ: Springer. doi:10.1007/978-3-319-67549-7_20
    • NLM

      Petrenko A, Simão A da S. Generating checking sequences for user defined fault models [Internet]. Lecture Notes in Computer Science (LNCS). 2017 ; 10533 320-325.[citado 2026 jan. 26 ] Available from: https://doi.org/10.1007/978-3-319-67549-7_20
    • Vancouver

      Petrenko A, Simão A da S. Generating checking sequences for user defined fault models [Internet]. Lecture Notes in Computer Science (LNCS). 2017 ; 10533 320-325.[citado 2026 jan. 26 ] Available from: https://doi.org/10.1007/978-3-319-67549-7_20
  • Unidade: ICMC

    Subjects: ENGENHARIA DE SOFTWARE, SOFTWARES (TESTES), MÉTODO DOS ELEMENTOS FINITOS

    Acesso à fonteHow to cite
    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/

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