Ensuring the Functional Correctness of IoT through Formal Modeling and Verification.

Published in: MEDI (2018)

Keyphrases

formal specification
formal methods
model checking
functional verification
neural network
formal models
artificial intelligence
database systems
cloud computing
formal analysis
learning algorithm
information systems
data analysis
big data
modeling language
modeling framework