Formal Recovery Analysis Approach for Service-Oriented System Based on Survivability Specification

Tun Lu, Ning Gu. Formal Recovery Analysis Approach for Service-Oriented System Based on Survivability Specification. In Grid and Cooperative Computing, Sixth International Conference on Grid and Cooperative Computing, GCC 2007, August 16-18, 2007, Urumchi, Xinjiang, China, Proceedings. pages 489-498, IEEE Computer Society, 2007. [doi]

Authors

Tun Lu

This author has not been identified. Look up 'Tun Lu' in Google

Ning Gu

This author has not been identified. Look up 'Ning Gu' in Google