Menu

Filtros : "Gaudel, Marie-Claude" Removido: "Information and Software Technology" Limpar

Filtros

Refine with date range

  • 1

1 - 2 (2 records)

  • Tese (Doutorado)

    Verification of behaviourist multi-agent systems by means of formally guided simulations (2011)

    Silva, Paulo Salem da; Melo, Ana Cristina Vieira de (Orientador); Gaudel, Marie-Claude (Orientador)

    Unidade: IME

    Subjects: TÉCNICAS DE PROGRAMAÇÃO, INTELIGÊNCIA ARTIFICIAL

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

    • ABNT

      SILVA, Paulo Salem da. Verification of behaviourist multi-agent systems by means of formally guided simulations. 2011. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2011. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-10042012-100539/. Acesso em: 02 nov. 2024.

    • APA

      Silva, P. S. da. (2011). Verification of behaviourist multi-agent systems by means of formally guided simulations (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-10042012-100539/

    • NLM

      Silva PS da. Verification of behaviourist multi-agent systems by means of formally guided simulations [Internet]. 2011 ;[citado 2024 nov. 02 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-10042012-100539/

    • Vancouver

      Silva PS da. Verification of behaviourist multi-agent systems by means of formally guided simulations [Internet]. 2011 ;[citado 2024 nov. 02 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-10042012-100539/

  • Relatorio tecnico

    Development of an atomic-Broadcast protocol using LOTOS (1997)

    James, Perry Roland; Endler, Markus ; Gaudel, Marie-Claude

    Unidade: IME

    Subjects: DESENVOLVIMENTO DE SOFTWARE, LINGUAGENS FORMAIS

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

    • ABNT

      JAMES, Perry Roland e ENDLER, Markus e GAUDEL, Marie-Claude. Development of an atomic-Broadcast protocol using LOTOS. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/b7b19424-3f8a-4012-93ce-1030cb608c8b/975455.pdf. Acesso em: 02 nov. 2024. , 1997

    • APA

      James, P. R., Endler, M., & Gaudel, M. -C. (1997). Development of an atomic-Broadcast protocol using LOTOS. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/b7b19424-3f8a-4012-93ce-1030cb608c8b/975455.pdf

    • NLM

      James PR, Endler M, Gaudel M-C. Development of an atomic-Broadcast protocol using LOTOS [Internet]. 1997 ;[citado 2024 nov. 02 ] Available from: https://repositorio.usp.br/directbitstream/b7b19424-3f8a-4012-93ce-1030cb608c8b/975455.pdf

    • Vancouver

      James PR, Endler M, Gaudel M-C. Development of an atomic-Broadcast protocol using LOTOS [Internet]. 1997 ;[citado 2024 nov. 02 ] Available from: https://repositorio.usp.br/directbitstream/b7b19424-3f8a-4012-93ce-1030cb608c8b/975455.pdf
  • 1

1 - 2 (2 records)

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