Login / Signup
An Automatic Coarse-Fine-Granularity Modeling Method for IoT System toward THCPN model checking.
Tao Sun
Xiaoyu Qi
Wenjie Zhong
Published in:
ISPA/BDCloud/SocialCom/SustainCom (2022)
Keyphrases
</>
model checking
modeling method
fine granularity
temporal logic
model checker
formal verification
verification method
management system
buffer management
formal methods
multiresolution
computation tree logic
b tree
scalable video
fuzzy neural network
epistemic logic
alternating time temporal logic
expert systems