A Domain Experts Centric Approach to Formal Requirements Modeling and V&V of Embedded Control Software.

Weikai Miao, Qianqian Yan, Yihao Huang, Jincao Feng, Hanyue Zheng

Browse the full APSEC paper archive.