An Event-B Interpretation for SPARDL Model - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jianwen Li, Zheng Wang, Yongxin Zhao, Geguang Pu, Yanxia Qi, Bin Gu. An Event-B Interpretation for SPARDL Model. In Taghi M. Khoshgoftaar, editor, 13th IEEE International Symposium on High-Assurance Systems Engineering, HASE 2011, Boca Raton, FL, USA, November 10-12, 2011. pages 41-48, IEEE Computer Society, 2011. [doi]

This author has not been identified. Look up 'Jianwen Li' in GoogleThis author has not been identified. Look up 'Zheng Wang' in GoogleThis author has not been identified. Look up 'Yongxin Zhao' in GoogleThis author has not been identified. Look up 'Geguang Pu' in GoogleThis author has not been identified. Look up 'Yanxia Qi' in GoogleThis author has not been identified. Look up 'Bin Gu' in Google

runs on WebDSL