imagem

Rio Grande, 20 de setembro de 2017

disc-esp-form-sma

 

Disciplina:
Especificação Formal de Sistemas Multiagentes

 


 

Carga Horária: 45

Créditos: 3

Linha de Pesquisa: Sistemas Multiagentes

Ementa:

Fundamentos para a formalização das relações em sistemas multiagentes. Formalismos para a expressão do conceitos e relações: lógica e formalismos provenientes de outras áreas como sistemas a eventos discretos, redes de Petri, cálculos de processos. Especificação de protocolos. Especificação de organizações de sistemas. Ferramentas baseadas nesses formalismos.

 



2010 - 2017 -- Desenvolvido pelo Centro de Ciências Computacionais - C3