Menu

Filtros : "MELO, ANA CRISTINA VIEIRA DE" "2010" Limpar

Filtros

Refine with date range

  • 1

1 - 2 (2 records)

  • Artigo de periodico

    Formalization of an architectural model for exception handling coordination based on CA action concepts (2010)

    Pereira, David Paulo; Melo, Ana Cristina Vieira de

    Source: Science of Computer Programming. Unidade: IME

    Assunto: INTELIGÊNCIA ARTIFICIAL

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

    • ABNT

      PEREIRA, David Paulo e MELO, Ana Cristina Vieira de. Formalization of an architectural model for exception handling coordination based on CA action concepts. Science of Computer Programming, v. 75, n. 5, p. 333-349, 2010Tradução . . Disponível em: https://doi.org/10.1016/j.scico.2009.12.006. Acesso em: 18 out. 2024.

    • APA

      Pereira, D. P., & Melo, A. C. V. de. (2010). Formalization of an architectural model for exception handling coordination based on CA action concepts. Science of Computer Programming, 75( 5), 333-349. doi:10.1016/j.scico.2009.12.006

    • NLM

      Pereira DP, Melo ACV de. Formalization of an architectural model for exception handling coordination based on CA action concepts [Internet]. Science of Computer Programming. 2010 ; 75( 5): 333-349.[citado 2024 out. 18 ] Available from: https://doi.org/10.1016/j.scico.2009.12.006

    • Vancouver

      Pereira DP, Melo ACV de. Formalization of an architectural model for exception handling coordination based on CA action concepts [Internet]. Science of Computer Programming. 2010 ; 75( 5): 333-349.[citado 2024 out. 18 ] Available from: https://doi.org/10.1016/j.scico.2009.12.006

  • Trabalho de evento

    A formal environment model for multi-agent systems (2010)

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

    Source: Proceedings. Conference titles: Brazilian Symposium on Formal Methods: Foundatons and applications - SBMF. Unidade: IME

    Subjects: SISTEMAS MULTIAGENTES, SEMÂNTICA DE PROGRAMAÇÃO

    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. A formal environment model for multi-agent systems. 2010, Anais.. Berlin: Springer, 2010. Disponível em: https://doi.org/10.1007/978-3-642-19829-8_5. Acesso em: 18 out. 2024.

    • APA

      Silva, P. S. da, & Melo, A. C. V. de. (2010). A formal environment model for multi-agent systems. In Proceedings. Berlin: Springer. doi:10.1007/978-3-642-19829-8_5

    • NLM

      Silva PS da, Melo ACV de. A formal environment model for multi-agent systems [Internet]. Proceedings. 2010 ;[citado 2024 out. 18 ] Available from: https://doi.org/10.1007/978-3-642-19829-8_5

    • Vancouver

      Silva PS da, Melo ACV de. A formal environment model for multi-agent systems [Internet]. Proceedings. 2010 ;[citado 2024 out. 18 ] Available from: https://doi.org/10.1007/978-3-642-19829-8_5
  • 1

1 - 2 (2 records)

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