Formal Analysis of Fault Recovery in Self-Organizing Systems

Jan Calta, Miroslaw Malek. Formal Analysis of Fault Recovery in Self-Organizing Systems. In Eighth IEEE International Conference on Dependable, Autonomic and Secure Computing, DASC 2009, Chengdu, China, 12-14 December, 2009. pages 11-18, IEEE, 2009. [doi]

Authors

Jan Calta

This author has not been identified. It may be one of the following persons: Look up 'Jan Calta' in Google

Miroslaw Malek

This author has not been identified. It may be one of the following persons: Look up 'Miroslaw Malek' in Google