Formal specification of multi-agent e-barter systems.

Manuel Núñez Ismael Rodríguez Fernando Rubio

Published in: Sci. Comput. Program. (2005)

Keyphrases

formal specification
multi agent
model checking
formal methods
concurrent systems
cooperative
knowledge based systems
design methodologies
real world
expert systems
software engineering
data abstraction
object oriented design