Formal Analysis of Fault Recovery in Self-Organizing Systems.

Jan Calta, Miroslaw Malek

Browse the full DASC paper archive.