Programy według mcmas-c.sf.net

MCMAS-C jest rozszerzeniem do najbardziej znanego modułu sprawdzania modelu MCMAS, który jest realizowany w celu weryfikacji systemu wieloagentowego. Nasze rozszerzenie jest związane z sprawdzaniem zobowiązań społecznych, któ