![](/img/cover-not-exists.png)
[IEEE 2019 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Big Data & Cloud Computing, Sustainable Computing & Communications, Social Computing & Networking (ISPA/BDCloud/SocialCom/SustainCom) - Xiamen, China (2019.12.16-2019.12.18)] 2019 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Big Data & Cloud Computing, Sustainable Computing & Communications, Social Computing & Networking (ISPA/BDCloud/SocialCom/SustainCom) - Formal Modeling and Verification of Scalable Process-Aware Distributed IoT Applications
Jain, Rakesh, Jain, Rakesh, Klai, Kais, Tata, SamirYear:
2019
DOI:
10.1109/ispa-bdcloud-sustaincom-socialcom48970.2019.00047
File:
PDF, 2.29 MB
2019