Formal Analysis of Architectural Policies of Self-Adaptive Software by Bigraph - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Zhiming Chang, XinJun Mao, Zhichang Qi. Formal Analysis of Architectural Policies of Self-Adaptive Software by Bigraph. In Proceedings of the 9th International Conference for Young Computer Scientists, ICYCS 2008, Zhang Jia Jie, Hunan, China, November 18-21, 2008. pages 118-123, IEEE Computer Society, 2008. [doi]

This author has not been identified. Look up 'Zhiming Chang' in GoogleThis author has not been identified. Look up 'XinJun Mao' in GoogleThis author has not been identified. Look up 'Zhichang Qi' in Google

runs on WebDSL