External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Incorporating Constraints to Software System Survivability Specification and Proof

Yanjun Zuo. Incorporating Constraints to Software System Survivability Specification and Proof. In Tiziana Margaria, Zongyan Qiu, Hongli Yang, editors, Sixth International Symposium on Theoretical Aspects of Software Engineering, TASE 2012, 4-6 July 2012, Beijing, China. pages 67-74, IEEE, 2012. [doi]

Authors

Yanjun Zuo

This author has not been identified. Look up 'Yanjun Zuo' in Google
runs on