skip to main content

Towards verification and validation of choreographies

Felipe M. Besson Pedro M. B Leal; Fábio Kon 1969-

São Paulo IME-USP 2011

Localização: IME - Inst. Matemática e Estatística    (IME-RT-MAC 2011 v.1 ) e outros locais(Acessar)

  • Título:
    Towards verification and validation of choreographies
  • Autor: Felipe M. Besson
  • Pedro M. B Leal; Fábio Kon 1969-
  • Assuntos: DESENVOLVIMENTO DE SOFTWARE
  • Notas: Disponível em: https://repositorio.usp.br/directbitstream/dca4bf5f-13ab-4554-a92a-34784efc09d6/2217014.pdf. Acesso em: 17 jun. 2024
  • Notas Locais: RT-MAC-2011-01
  • Editor: São Paulo IME-USP
  • Data de criação/publicação: 2011
  • Formato: 16 p.
  • Idioma: Inglês

Buscando em bases de dados remotas. Favor aguardar.