Filtros : "Centre de recherche informatique de Montreal (CRIM) - Montreal, Quebec, Canada" "ICMC" Removidos: "Malásia" "Universidade Federal da Grande Dourados (UFGD)" "Coreia do Sul" "ARTIGO DE PERIODICO" Limpar

Filtros



Refine with date range


  • 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

      PETRENKO, Alexandre e SIMÃO, Adenilso da Silva e ULRICH, Andreas. Test method and test apparatus for testing a distributed system. . Genebra: Patent Cooperation Treaty (PCT); World Intellectual Property Organization (WIPO). Disponível em: https://doi.org/10.1007/s00165-015-0350-2. Acesso em: 01 jul. 2024. , 2014
    • APA

      Petrenko, A., Simão, A. da S., & Ulrich, A. (2014). Test method and test apparatus for testing a distributed system. Genebra: Patent Cooperation Treaty (PCT); World Intellectual Property Organization (WIPO). doi:10.1007/s00165-015-0350-2
    • NLM

      Petrenko A, Simão A da S, Ulrich A. Test method and test apparatus for testing a distributed system [Internet]. 2014 ;[citado 2024 jul. 01 ] Available from: https://doi.org/10.1007/s00165-015-0350-2
    • Vancouver

      Petrenko A, Simão A da S, Ulrich A. Test method and test apparatus for testing a distributed system [Internet]. 2014 ;[citado 2024 jul. 01 ] Available from: https://doi.org/10.1007/s00165-015-0350-2
  • Source: Electronic Proceedings in Theoretical Computer Science. Conference titles: Workshop on Model-Based Testing. 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

      SIMÃO, Adenilso da Silva e PETRENKO, Alexandre. Generating complete and finite test suite for ioco: is it possible? 2014, Anais.. Dübendorf, Suiça: Open Publishing Association, 2014. Disponível em: https://doi.org/10.4204/EPTCS.141. Acesso em: 01 jul. 2024.
    • APA

      Simão, A. da S., & Petrenko, A. (2014). Generating complete and finite test suite for ioco: is it possible? In Electronic Proceedings in Theoretical Computer Science. Dübendorf, Suiça: Open Publishing Association. doi:10.4204/EPTCS.141
    • NLM

      Simão A da S, Petrenko A. Generating complete and finite test suite for ioco: is it possible? [Internet]. Electronic Proceedings in Theoretical Computer Science. 2014 ;[citado 2024 jul. 01 ] Available from: https://doi.org/10.4204/EPTCS.141
    • Vancouver

      Simão A da S, Petrenko A. Generating complete and finite test suite for ioco: is it possible? [Internet]. Electronic Proceedings in Theoretical Computer Science. 2014 ;[citado 2024 jul. 01 ] Available from: https://doi.org/10.4204/EPTCS.141
  • Source: Proceedings. Conference titles: International Conference on Software Testing, Verification and Validation - ICST 2012. 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

      PETRENKO, Alexandre e SIMÃO, Adenilso da Silva e NINA YEVTUSHENKO,. Generating checking sequences for nondeterministic finite state machines. 2012, Anais.. Los Alamitos, CA: IEEE Computer Society, 2012. Disponível em: https://doi.org/10.1109/ICST.2012.111. Acesso em: 01 jul. 2024.
    • APA

      Petrenko, A., Simão, A. da S., & Nina Yevtushenko,. (2012). Generating checking sequences for nondeterministic finite state machines. In Proceedings. Los Alamitos, CA: IEEE Computer Society. doi:10.1109/ICST.2012.111
    • NLM

      Petrenko A, Simão A da S, Nina Yevtushenko. Generating checking sequences for nondeterministic finite state machines [Internet]. Proceedings. 2012 ;[citado 2024 jul. 01 ] Available from: https://doi.org/10.1109/ICST.2012.111
    • Vancouver

      Petrenko A, Simão A da S, Nina Yevtushenko. Generating checking sequences for nondeterministic finite state machines [Internet]. Proceedings. 2012 ;[citado 2024 jul. 01 ] Available from: https://doi.org/10.1109/ICST.2012.111
  • Source: Lecture Notes in Computer Science. Conference titles: International Conference Testing of Software and Communication Systems - TESTCOM. Unidade: ICMC

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

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

      SIMÃO, Adenilso da Silva e PETRENKO, Alexandre e YEVTUSHENKO, Nina. Generating reduced tests for FSMs with extra states. Lecture Notes in Computer Science. Berlin: Springer. Disponível em: http://www.springerlink.com/content/97175434p03t6136/. Acesso em: 01 jul. 2024. , 2009
    • APA

      Simão, A. da S., Petrenko, A., & Yevtushenko, N. (2009). Generating reduced tests for FSMs with extra states. Lecture Notes in Computer Science. Berlin: Springer. Recuperado de http://www.springerlink.com/content/97175434p03t6136/
    • NLM

      Simão A da S, Petrenko A, Yevtushenko N. Generating reduced tests for FSMs with extra states [Internet]. Lecture Notes in Computer Science. 2009 ; 5826 129-145.[citado 2024 jul. 01 ] Available from: http://www.springerlink.com/content/97175434p03t6136/
    • Vancouver

      Simão A da S, Petrenko A, Yevtushenko N. Generating reduced tests for FSMs with extra states [Internet]. Lecture Notes in Computer Science. 2009 ; 5826 129-145.[citado 2024 jul. 01 ] Available from: http://www.springerlink.com/content/97175434p03t6136/

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