IoT Modeling and Verification: From the CaIT Calculus to UPPAAL.

Ningning Chen Huibiao Zhu

Published in: IEICE Trans. Inf. Syst. (2023)

Keyphrases

model checking
timed automata
machine learning
temporal logic
model checker
artificial intelligence
big data
knowledge base
management system
modeling language
information systems
image sequences
formal specification
computer algebra
colored petri nets