Login / Signup

A Model Checking-Based Analysis Method of Cyber Attack in IoT System by Agent-Oriented Petri Net.

Shingo YamaguchiMuhammad 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