Filtros : "IEEE International Conference on Software Engineering and Formal Methods" Limpar

Filtros



Limitar por data


  • Fonte: Proceedings. Nome do evento: IEEE International Conference on Software Engineering and Formal Methods. Unidade: ICMC

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

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

      BONIFÁCIO, Adilson Luiz e MOURA, Arnaldo Vieira e SIMÃO, Adenilso da Silva. A generalized model-based test generation method. 2008, Anais.. Los Alamitos: IEEE Computer Society, 2008. Disponível em: http://ieeexplore.ieee.org/xpl/tocresult.do?isnumber=4685779&isYear=2008'. Acesso em: 29 nov. 2025.
    • APA

      Bonifácio, A. L., Moura, A. V., & Simão, A. da S. (2008). A generalized model-based test generation method. In Proceedings. Los Alamitos: IEEE Computer Society. Recuperado de http://ieeexplore.ieee.org/xpl/tocresult.do?isnumber=4685779&isYear=2008'
    • NLM

      Bonifácio AL, Moura AV, Simão A da S. A generalized model-based test generation method [Internet]. Proceedings. 2008 ;[citado 2025 nov. 29 ] Available from: http://ieeexplore.ieee.org/xpl/tocresult.do?isnumber=4685779&isYear=2008'
    • Vancouver

      Bonifácio AL, Moura AV, Simão A da S. A generalized model-based test generation method [Internet]. Proceedings. 2008 ;[citado 2025 nov. 29 ] Available from: http://ieeexplore.ieee.org/xpl/tocresult.do?isnumber=4685779&isYear=2008'

Biblioteca Digital de Produção Intelectual da Universidade de São Paulo     2012 - 2025