Menu

Filtros : "ESPECIFICAÇÃO DE SISTEMAS E PROGRAMAS" "Wassermann, Renata" Removido: "Proceedings of COBEM" Limpar

Filtros

Limitar por data

  • 1

1 - 2 (2 registros)

  • Trabalho de evento-anais periodico

    Revising system specifications in temporal logic (2022)

    Guerra, Paulo T ; Wassermann, Renata

    Fonte: Journal of Logic, Language and Information. Nome do evento: Workshop on Logic, Language, Information and Computation - WoLLIC. Unidade: IME

    Assuntos: REVISÃO DE CRENÇAS, LÓGICA MATEMÁTICA, ESPECIFICAÇÃO DE SISTEMAS E PROGRAMAS

    PrivadoAcesso à fonteDOIComo citar
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      GUERRA, Paulo T e WASSERMANN, Renata. Revising system specifications in temporal logic. Journal of Logic, Language and Information. Dordrecht: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://doi.org/10.1007/s10849-022-09376-9. Acesso em: 29 nov. 2025. , 2022

    • APA

      Guerra, P. T., & Wassermann, R. (2022). Revising system specifications in temporal logic. Journal of Logic, Language and Information. Dordrecht: Instituto de Matemática e Estatística, Universidade de São Paulo. doi:10.1007/s10849-022-09376-9

    • NLM

      Guerra PT, Wassermann R. Revising system specifications in temporal logic [Internet]. Journal of Logic, Language and Information. 2022 ; 31( 4): 591-618.[citado 2025 nov. 29 ] Available from: https://doi.org/10.1007/s10849-022-09376-9

    • Vancouver

      Guerra PT, Wassermann R. Revising system specifications in temporal logic [Internet]. Journal of Logic, Language and Information. 2022 ; 31( 4): 591-618.[citado 2025 nov. 29 ] Available from: https://doi.org/10.1007/s10849-022-09376-9

  • Dissertação (Mestrado)

    Revisão de modelos formais de sistemas de estados finitos (2007)

    Sousa, Thiago Carvalho de; Wassermann, Renata (Orientador)

    Unidade: IME

    Assuntos: ENGENHARIA DE PROGRAMAS, ESPECIFICAÇÃO DE SISTEMAS E PROGRAMAS

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

    • ABNT

      SOUSA, Thiago Carvalho de. Revisão de modelos formais de sistemas de estados finitos. 2007. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2007. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-06032014-080953/. Acesso em: 29 nov. 2025.

    • APA

      Sousa, T. C. de. (2007). Revisão de modelos formais de sistemas de estados finitos (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-06032014-080953/

    • NLM

      Sousa TC de. Revisão de modelos formais de sistemas de estados finitos [Internet]. 2007 ;[citado 2025 nov. 29 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-06032014-080953/

    • Vancouver

      Sousa TC de. Revisão de modelos formais de sistemas de estados finitos [Internet]. 2007 ;[citado 2025 nov. 29 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-06032014-080953/
  • 1

1 - 2 (2 registros)

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