Raluca Lefticaru, Savas Konur, Ünal Yildirim, Amad Uddin, Felician Campean, Marian Gheorghe. Towards an Integrated Approach to Verification and Model-Based Testing in System Engineering. In Yulei Wu, Geyong Min, Nektarios Georgalas, Ahmed Al-Dubi, Xiaolong Jin, Laurence T. Yang, Jianhua Ma, Po Yang, editors, 2017 IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, Physical and Social Computing (CPSCom) and IEEE Smart Data (SmartData), Exeter, United Kingdom, June 21-23, 2017. pages 131-138, IEEE Computer Society, 2017. [doi]
Abstract is missing.