![](/img/cover-not-exists.png)
[IEEE 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 (2017.6.21-2017.6.23)] 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) - Towards an Integrated Approach to Verification and Model-Based Testing in System Engineering
Lefticaru, Raluca, Konur, Savas, Yildirim, Unal, Uddin, Amad, Campean, Felician, Gheorghe, MarianYear:
2017
Language:
english
DOI:
10.1109/iThings-GreenCom-CPSCom-SmartData.2017.25
File:
PDF, 409 KB
english, 2017