Menu

Filtros : "model checking" Limpar

Filtros

Refine with date range

  • 1

1 - 2 (2 records)

  • Artigo de periodico

    Model checking multi-level and recursive nets (2017)

    Fernández Venero, Mirtha Lina; Silva, Flávio Soares Corrêa da

    Source: Software and Systems Modeling. Unidade: IME

    Subjects: PROTOCOLOS DE COMUNICAÇÃO, REDES DE PETRI, ENGENHARIA DE SOFTWARE

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

    • ABNT

      FERNÁNDEZ VENERO, Mirtha Lina e SILVA, Flávio Soares Corrêa da. Model checking multi-level and recursive nets. Software and Systems Modeling, v. 16, n. 4, p. 1117–1144, 2017Tradução . . Disponível em: https://doi.org/10.1007/s10270-015-0509-6. Acesso em: 10 jan. 2026.

    • APA

      Fernández Venero, M. L., & Silva, F. S. C. da. (2017). Model checking multi-level and recursive nets. Software and Systems Modeling, 16( 4), 1117–1144. doi:10.1007/s10270-015-0509-6

    • NLM

      Fernández Venero ML, Silva FSC da. Model checking multi-level and recursive nets [Internet]. Software and Systems Modeling. 2017 ; 16( 4): 1117–1144.[citado 2026 jan. 10 ] Available from: https://doi.org/10.1007/s10270-015-0509-6

    • Vancouver

      Fernández Venero ML, Silva FSC da. Model checking multi-level and recursive nets [Internet]. Software and Systems Modeling. 2017 ; 16( 4): 1117–1144.[citado 2026 jan. 10 ] Available from: https://doi.org/10.1007/s10270-015-0509-6

  • Trabalho de evento-anais periodico

    Model checking merged program traces (2009)

    Silva, Paulo Salem da; Melo, Ana Cristina Vieira de

    Source: Electronic Notes in Theoretical Computer Science. Conference titles: Brazilian Symposium on Formal Methods - SBMF. Unidade: IME

    Subjects: JAVA, MODELOS DE PROCESSO DE SOFTWARE

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

    • ABNT

      SILVA, Paulo Salem da e MELO, Ana Cristina Vieira de. Model checking merged program traces. Electronic Notes in Theoretical Computer Science. Amsterdam: Elsevier. Disponível em: https://doi.org/10.1016/j.entcs.2009.05.047. Acesso em: 10 jan. 2026. , 2009

    • APA

      Silva, P. S. da, & Melo, A. C. V. de. (2009). Model checking merged program traces. Electronic Notes in Theoretical Computer Science. Amsterdam: Elsevier. doi:10.1016/j.entcs.2009.05.047

    • NLM

      Silva PS da, Melo ACV de. Model checking merged program traces [Internet]. Electronic Notes in Theoretical Computer Science. 2009 ; 240 97-112.[citado 2026 jan. 10 ] Available from: https://doi.org/10.1016/j.entcs.2009.05.047

    • Vancouver

      Silva PS da, Melo ACV de. Model checking merged program traces [Internet]. Electronic Notes in Theoretical Computer Science. 2009 ; 240 97-112.[citado 2026 jan. 10 ] Available from: https://doi.org/10.1016/j.entcs.2009.05.047
  • 1

1 - 2 (2 records)

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