Menu

Filtros : "Formal methods" Limpar

Filtros

Refine with date range

  • 1

1 - 2 (2 records)

  • Dissertação (Mestrado)

    A formalization of a startup finance transaction model using Alloy (2023)

    Stevaux, Rodrigo Ehrlich; Melo, Ana Cristina Vieira de (Orientador)

    Unidade: IME

    Subjects: MÉTODOS DE DESENVOLVIMENTO DE SOFTWARE, VERIFICAÇÃO E VALIDAÇÃO DE SOFTWARE, CAPITAL DE RISCO

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

    • ABNT

      STEVAUX, Rodrigo Ehrlich. A formalization of a startup finance transaction model using Alloy. 2023. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2023. Disponível em: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-05042024-151358/. Acesso em: 20 jan. 2026.

    • APA

      Stevaux, R. E. (2023). A formalization of a startup finance transaction model using Alloy (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/45/45134/tde-05042024-151358/

    • NLM

      Stevaux RE. A formalization of a startup finance transaction model using Alloy [Internet]. 2023 ;[citado 2026 jan. 20 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-05042024-151358/

    • Vancouver

      Stevaux RE. A formalization of a startup finance transaction model using Alloy [Internet]. 2023 ;[citado 2026 jan. 20 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-05042024-151358/

  • Tese (Doutorado)

    Semantics modulo satisfiability with applications: function representation, probabilities and game theory (2021)

    Preto, Sandro Márcio da Silva ; Finger, Marcelo (Orientador)

    Unidade: IME

    Subjects: REDES NEURAIS, LÓGICA MATEMÁTICA

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

    • ABNT

      PRETO, Sandro Márcio da Silva. Semantics modulo satisfiability with applications: function representation, probabilities and game theory. 2021. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2021. Disponível em: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-17062021-163257/. Acesso em: 20 jan. 2026.

    • APA

      Preto, S. M. da S. (2021). Semantics modulo satisfiability with applications: function representation, probabilities and game theory (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/45/45134/tde-17062021-163257/

    • NLM

      Preto SM da S. Semantics modulo satisfiability with applications: function representation, probabilities and game theory [Internet]. 2021 ;[citado 2026 jan. 20 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-17062021-163257/

    • Vancouver

      Preto SM da S. Semantics modulo satisfiability with applications: function representation, probabilities and game theory [Internet]. 2021 ;[citado 2026 jan. 20 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-17062021-163257/
  • 1

1 - 2 (2 records)

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