Synopses & Reviews
Synopsis
Self-stabilization.- Ad-hoc.- Sensor and mobile networks.- Cyberphysical systems.- Fault-tolerant and dependable systems.- Formal methods.- Safety, security and cloud computing.- P2P.- Self-organizing.- Autonomous systems.