Checking Properties on the Control of Heterogeneous Systems.

Christophe Jacquet Dominique Marcadet

Published in: ICST Workshops (2008)

Keyphrases

heterogeneous systems
control system
real world
parallel architectures
application developers
distributed architecture
database
data mining
mobile robot
data processing
computing systems
grid environment
legacy systems