C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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