Modeling the Behavior of Ada Tasks and Verifying Its Safety - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jianming Fu, Xian Yi, Huanguo Zhang. Modeling the Behavior of Ada Tasks and Verifying Its Safety. In 2004 International Conference on Computer and Information Technology (CIT 2004), 14-16 September 2004, Wuhan, China. pages 676-680, IEEE Computer Society, 2004. [doi]

This author has not been identified. Look up 'Jianming Fu' in GoogleThis author has not been identified. Look up 'Xian Yi' in GoogleThis author has not been identified. Look up 'Huanguo Zhang' in Google

runs on WebDSL