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 ...