A Domain Experts Centric Approach to Formal Requirements Modeling and V&V of Embedded Control Software - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Weikai Miao, Qianqian Yan, Yihao Huang, Jincao Feng, Hanyue Zheng. A Domain Experts Centric Approach to Formal Requirements Modeling and V&V of Embedded Control Software. In 26th Asia-Pacific Software Engineering Conference, APSEC 2019, Putrajaya, Malaysia, December 2-5, 2019. pages 15-22, IEEE, 2019. [doi]

This author has not been identified. Look up 'Weikai Miao' in GoogleThis author has not been identified. Look up 'Qianqian Yan' in GoogleThis author has not been identified. Look up 'Yihao Huang' in GoogleThis author has not been identified. Look up 'Jincao Feng' in GoogleThis author has not been identified. Look up 'Hanyue Zheng' in Google

runs on WebDSL