Optimized symbolic model checking for component-based systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Lianyi Zhang, Qingdi Meng, GuiMing Luo. Optimized symbolic model checking for component-based systems. In IEEE 13th International Conference on Cognitive Informatics and Cognitive Computing, ICCI*CC 2014, London, UK, August 18-20, 2014. pages 373-378, IEEE, 2014. [doi]

This author has not been identified. Look up 'Lianyi Zhang' in GoogleThis author has not been identified. Look up 'Qingdi Meng' in GoogleThis author has not been identified. Look up 'GuiMing Luo' in Google

runs on WebDSL