Programas por mcmas-c.sf.net

MCMAS-C es una extensión del comprobador de modelos MÁS famoso MCMAS, que se implementa para verificar el sistema multiagente. Nuestra extensión está relacionada con el chequeo de los compromisos sociales que los agentes pued