Menu

Filtros : "REDES DE PETRI" "IME" Removido: "Finlândia" 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: 18 nov. 2024.

    • 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 2024 nov. 18 ] 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 2024 nov. 18 ] Available from: https://doi.org/10.1007/s10270-015-0509-6

  • Trabalho de evento

    Modeling and simulating interaction protocols using nested Petri nets (2014)

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

    Source: Software engineering and formal methods. Conference titles: International Conference on Software Engineering and Formal Methods - SEFM. Unidade: IME

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

    Acesso à 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. Modeling and simulating interaction protocols using nested Petri nets. 2014, Anais.. Cham: Springer, 2014. Disponível em: https://doi.org/10.1007/978-3-319-05032-4_11. Acesso em: 18 nov. 2024.

    • APA

      Fernández Venero, M. L., & Silva, F. S. C. da. (2014). Modeling and simulating interaction protocols using nested Petri nets. In Software engineering and formal methods. Cham: Springer. doi:10.1007/978-3-319-05032-4_11

    • NLM

      Fernández Venero ML, Silva FSC da. Modeling and simulating interaction protocols using nested Petri nets [Internet]. Software engineering and formal methods. 2014 ;[citado 2024 nov. 18 ] Available from: https://doi.org/10.1007/978-3-319-05032-4_11

    • Vancouver

      Fernández Venero ML, Silva FSC da. Modeling and simulating interaction protocols using nested Petri nets [Internet]. Software engineering and formal methods. 2014 ;[citado 2024 nov. 18 ] Available from: https://doi.org/10.1007/978-3-319-05032-4_11
  • 1

1 - 2 (2 records)

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