Programas por mcmas-c.sf.net

  • MCMAS-C Model Checker Gratis

    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