Login / Signup
A Model Checking-Based Analysis Method of Cyber Attack in IoT System by Agent-Oriented Petri Net.
Shingo Yamaguchi
Muhammad Syafiq Bin Ab Malek
Published in:
GCCE (2018)
Keyphrases
</>
petri net
model checking
verification method
petri net model
dynamic programming
information systems
temporal logic
agent oriented
machine learning
multi agent
multi agent systems
expert systems