Listar por tema "RSL formal specification"
Mostrando ítems 1-1 de 1
-
Especificação formal de organizações de sistemas multiagentes
(2011) [Tesis]A abordagem de sistemas multiagentes tem sido cada vez mais utilizada para o desenvolvimento de sistemas complexos, o que despertou o interesse das pesquisas na área de engenharia de software orientada a agentes (AOSE) e ...