Filtros : "IEEE Transactions on Computers" "Indexado no Science Citation Index" Limpar


  • Source: IEEE Transactions on Computers. 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. Checking completeness of tests for finite state machines. IEEE Transactions on Computers, v. 59, n. 8, p. 1023-1032, 2010Tradução . . Disponível em: http://ieeexplore.ieee.org/xpl/tocresult.do?isnumber=5494717. Acesso em: 10 nov. 2025.
    • APA

      Simão, A. da S., & Petrenko, A. (2010). Checking completeness of tests for finite state machines. IEEE Transactions on Computers, 59( 8), 1023-1032. Recuperado de http://ieeexplore.ieee.org/xpl/tocresult.do?isnumber=5494717
    • NLM

      Simão A da S, Petrenko A. Checking completeness of tests for finite state machines [Internet]. IEEE Transactions on Computers. 2010 ; 59( 8): 1023-1032.[citado 2025 nov. 10 ] Available from: http://ieeexplore.ieee.org/xpl/tocresult.do?isnumber=5494717
    • Vancouver

      Simão A da S, Petrenko A. Checking completeness of tests for finite state machines [Internet]. IEEE Transactions on Computers. 2010 ; 59( 8): 1023-1032.[citado 2025 nov. 10 ] Available from: http://ieeexplore.ieee.org/xpl/tocresult.do?isnumber=5494717

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