A Semi-Formal Requirement Modeling Pattern for Designing Industrial Cyber-Physical Systems.

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

Browse the full IECON paper archive.