Menu

Filtros : "VERIFICAÇÃO E VALIDAÇÃO DE SOFTWARE" "2006" Removido: "International Conference on Software Engineering and Formal Methods - SEFM" Limpar

  • 1

1 - 1 (1 records)

  • Dissertação (Mestrado)

    Verificação formal de sistemas modelados em estados finitos (2006)

    Ferreira, Nelson França Guimarães; Silva, Paulo Sérgio Muniz (Orientador)

    Unidade: EP

    Subjects: AMBIENTES DE PROGRAMAÇÃO, VERIFICAÇÃO E VALIDAÇÃO DE SOFTWARE

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

    • ABNT

      FERREIRA, Nelson França Guimarães. Verificação formal de sistemas modelados em estados finitos. 2006. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2006. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-19092006-134100/. Acesso em: 28 nov. 2025.

    • APA

      Ferreira, N. F. G. (2006). Verificação formal de sistemas modelados em estados finitos (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3141/tde-19092006-134100/

    • NLM

      Ferreira NFG. Verificação formal de sistemas modelados em estados finitos [Internet]. 2006 ;[citado 2025 nov. 28 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-19092006-134100/

    • Vancouver

      Ferreira NFG. Verificação formal de sistemas modelados em estados finitos [Internet]. 2006 ;[citado 2025 nov. 28 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-19092006-134100/
  • 1

1 - 1 (1 records)

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