Verifying Behavioural Extension of Components with Dynamically Evolving Interfaces.

Stefan Förster

Published in: MBMV (2006)

Keyphrases

dynamically evolving
model checking
wireless sensor networks
mobile robot
dynamic environments
power system
dynamical systems
software components
key technologies