• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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