On contracting different behavioral properties in component-based systems.

Philippe Collet Alain Ozanne Nicolas Rivierre

Published in: SAC (2006)

Keyphrases

data sets
management system
distributed systems
knowledge based systems
image processing
structural properties
systems require
bayesian networks
multiscale
search algorithm
mobile robot
computing systems