Model Checking Software Architecture Design - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jiexin Zhang, Yang Liu 0003, Jing Sun 0002, Jin Song Dong, Jun Sun 0001. Model Checking Software Architecture Design. In 14th International IEEE Symposium on High-Assurance Systems Engineering, HASE 2012, Omaha, NE, USA, October 25-27, 2012. pages 193-200, IEEE Computer Society, 2012. [doi]

This author has not been identified. Look up 'Jiexin Zhang' in GoogleThis author has not been identified. Look up 'Yang Liu 0003' in GoogleThis author has not been identified. Look up 'Jing Sun 0002' in GoogleThis author has not been identified. Look up 'Jin Song Dong' in GoogleThis author has not been identified. Look up 'Jun Sun 0001' in Google

runs on WebDSL