Sign in
A Cache-Based Model Abstraction and Runtime Verification for the Internet-of-Things Applications.
Euijong Lee
Young-Duk Seo
Young-Gab Kim
Published in:
IEEE Internet Things J. (2020)
Keyphrases
</>
management system
probabilistic model
computational model
theoretical framework
formal model
objective function
mobile devices
statistical model
high level
artificial neural networks
mathematical model
experimental data
conceptual model
prediction model