Formal Analysis of Fault Recovery in Self-Organizing Systems.

Jan Calta Miroslaw Malek

Published in: DASC (2009)

Keyphrases

formal analysis
formal methods
complex systems

expert systems
computer systems

building blocks
normal operation

wireless sensor networks
knowledge acquisition