Login / Signup

Formal Modeling and Verification of Scalable Process-Aware Distributed IoT Applications.

Rakesh JainKais KlaiSamir Tata
Published in: ISPA/BDCloud/SocialCom/SustainCom (2019)
Keyphrases
  • lightweight
  • formal methods
  • database
  • data sets
  • neural network
  • information systems
  • cooperative
  • distributed systems
  • context aware
  • petri net
  • formal model
  • metamodel
  • highly scalable
  • web scale