Dependability Analysis for AADL Models by PVS - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Geng Chen, Lei Luo, Rong Gong, Shenglin Gui. Dependability Analysis for AADL Models by PVS. In Eighth IEEE International Conference on Dependable, Autonomic and Secure Computing, DASC 2009, Chengdu, China, 12-14 December, 2009. pages 19-24, IEEE, 2009. [doi]

This author has not been identified. Look up 'Geng Chen' in GoogleThis author has not been identified. Look up 'Lei Luo' in GoogleThis author has not been identified. Look up 'Rong Gong' in GoogleThis author has not been identified. Look up 'Shenglin Gui' in Google

runs on WebDSL