Login / Signup

Formal Specification Approach of Role Dynamics in Agent Organisations: Application to the Satisfaction-Altruism Model.

Vincent HilairePablo GruerAbder KoukamOlivier Simonin
Published in: Int. J. Softw. Eng. Knowl. Eng. (2007)
Keyphrases
  • formal specification
  • high level
  • database
  • artificial intelligence
  • cooperative
  • dynamical systems
  • agent model
  • specification language
  • role model