Formal verification of a hybrid machine learning-based fault prediction model in Internet of Things applications
Souri, Alireza, Mohammed, Amin Salih, Potrus, Moayad Yousif, Malik, Mazhar Hussain, Safara, Fatemeh, Hosseinzadeh, MehdiYear:
2020
Language:
english
Journal:
IEEE Access
DOI:
10.1109/ACCESS.2020.2967629
File:
PDF, 1.38 MB
english, 2020