Verification Approach of Statechart Models based on Property Statechart - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Lina Chen, Yu Zhang, Jianmin Zhao. Verification Approach of Statechart Models based on Property Statechart. In José Braz, Sebastiano Battiato, Francisco H. Imai, editors, VISAPP 2015 - Proceedings of the 10th International Conference on Computer Vision Theory and Applications, Volume 1, Berlin, Germany, 11-14 March, 2015. pages 23-29, SciTePress, 2015.

This author has not been identified. Look up 'Lina Chen' in GoogleThis author has not been identified. Look up 'Yu Zhang' in GoogleThis author has not been identified. Look up 'Jianmin Zhao' in Google

runs on WebDSL