Specifications of Coordinated Behaviour by SOCCA.

Gregor Engels Luuk Groenewegen

Published in: EWSPT (1994)

Keyphrases

multi agent
cooperative
neural network
formal specification
real time
computer vision
web services
multiscale
expert systems
functional requirements
operational semantics
user behaviour
reactive systems
delay insensitive