- MAS-ML: a multiagent system modelling language
- Automated testing sequences generation from AUML diagrams: a formal verification of agents' interaction protocols
- Formally specifying and verifying mobile agents – model checking mobility: the MobiOZ approach
31 August 2008
Special issue: Modelling languages for agent systems
International Journal of Agent-Oriented Software Engineering 2(4) 2008
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment