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]
No reviews for this publication, yet.