Now showing items 1-1 of 1

  • Verifying MSMAS Model Using CIFF 

    Elakehal EE; Montali M; Padget J (Springer, 2013)
    MSMAS is a software development methodology that facilities the design and development of complex distributed systems based on the multiagent systems paradigm. MSMAS explicitly supports the institutional organisational ...