Research on Modeling and Verification Methods for Embedded Software Systems Based on SysML.

Linbo Wu, Yunqiang Yan, Feng Gao, Xiaohong Chen, Changhai Nie

Browse the full QRS paper archive.