A Generic and Executable Model for the Specification and Validation of Distributed Behaviors.

Dominique Sidou

Published in: TreDS (1996)

Keyphrases

high level
management system
distributed systems
theoretical analysis
conceptual model
generic model
objective function
prior knowledge
probabilistic model
computational model
data sets
cooperative
mobile robot
mathematical model
distributed environment
formal model