Login / Signup
Formal Modeling and Verification of Scalable Process-Aware Distributed IoT Applications.
Rakesh Jain
Kais Klai
Samir 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