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

Rakesh Jain, Kais Klai, Samir Tata

Browse the full ISPA paper archive.