Formal verification of a hybrid machine learning-based fault prediction model in Internet of Things applications
(2020)
Journal Article
By increasing the complexity of the Internet of Things (IoT) applications, fault prediction become an important challenge in interactions between human, and smart devices. Fault prediction is one of the key factors to achieve better arranging the IoT... Read More about Formal verification of a hybrid machine learning-based fault prediction model in Internet of Things applications.