Mounifah Alenazi, Nan Niu, Wentao Wang 0003, Juha Savolainen. Using Obstacle Analysis to Support SysML-Based Model Testing for Cyber Physical Systems. In Ana Moreira 0001, Gunter Mussbacher, João Araújo 0001, Pablo Sánchez, editors, 8th IEEE International Model-Driven Requirements Engineering Workshop, MoDRE@RE 2018, Banff, AB, Canada, August 20, 2018. pages 46-55, IEEE, 2018. [doi]
Abstract is missing.