Using Obstacle Analysis to Support SysML-Based Model Testing for Cyber Physical Systems.

Mounifah Alenazi, Nan Niu, Wentao Wang, Juha Savolainen

Browse the full RE paper archive.