A Formal Verification Model for IoT Based Applications Using Event-B.

Rihab Omri Zinah Hussein Toman Lazhar Hamel

Published in: ICCCI (CCIS Volume) (2022)

Keyphrases

probabilistic model
computational model
process model
formal verification
management system
artificial intelligence
probability distribution
mathematical model
state space
cloud computing
experimental data
conceptual model
formal model