Timed CSP for Safety Specification of Hybrid System - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jinzhao Wu, Shihan Yang. Timed CSP for Safety Specification of Hybrid System. In Proceedings of the 9th International Conference for Young Computer Scientists, ICYCS 2008, Zhang Jia Jie, Hunan, China, November 18-21, 2008. pages 1913-1918, IEEE Computer Society, 2008. [doi]

This author has not been identified. Look up 'Jinzhao Wu' in GoogleThis author has not been identified. Look up 'Shihan Yang' in Google

runs on WebDSL