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]
@inproceedings{LuG07,
title = {Formal Recovery Analysis Approach for Service-Oriented System Based on Survivability Specification},
author = {Tun Lu and Ning Gu},
year = {2007},
doi = {10.1109/GCC.2007.69},
url = {http://doi.ieeecomputersociety.org/10.1109/GCC.2007.69},
tags = {rule-based, analysis, systematic-approach},
researchr = {https://researchr.org/publication/LuG07},
cites = {0},
citedby = {0},
pages = {489-498},
booktitle = {Grid and Cooperative Computing, Sixth International Conference on Grid and Cooperative Computing, GCC 2007, August 16-18, 2007, Urumchi, Xinjiang, China, Proceedings},
publisher = {IEEE Computer Society},
}