Towards Formal Verification of Node RED-Based IoT Applications.

Ikram Garfatta, Nour Elhouda Souid, Kas Klai

Browse the full VECoS paper archive.