Specification and verification of policy using RAISE and modelchecking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Tao Zhang, Shaobin Huang, Tian-yang Lv, Hongtao Huang. Specification and verification of policy using RAISE and modelchecking. In Yongsheng Ding, Yonghong Peng, Riyi Shi, Kuangrong Hao, Lipo Wang, editors, 4th International Conference on Biomedical Engineering and Informatics, BMEI 2011, Shanghai, China, October 15-17, 2011. pages 2082-2086, IEEE, 2011. [doi]

This author has not been identified. Look up 'Tao Zhang' in GoogleThis author has not been identified. Look up 'Shaobin Huang' in GoogleThis author has not been identified. Look up 'Tian-yang Lv' in GoogleThis author has not been identified. Look up 'Hongtao Huang' in Google

runs on WebDSL