An Automatic Requirement Transformation Approach for Code Generation in Industrial Cyber-Physical Systems.

Yineng Song, Weiqi Sun, Xian Wu, Jue Wang, Wenbin William Dai

Browse the full INDIN paper archive.