Fabrice Kordon
Middleware Routing ad-hoc networks configuration dependable computing distributed computing distributed systems dynamic systems embedded systems fault tolerance inheritance large-scale systems mobile computing programming verification