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.
No references recorded for this publication.
No citations of this publication recorded.