skip to main content

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

Paulo Salem da Silva Ana Cristina Vieira de Melo; Marie-Claude Gaudel

2012

Localização: IME - Inst. Matemática e Estatística    (IME-T QA754.T S586v e.1 )(Acessar)

Buscando em bases de dados remotas. Favor aguardar.