Towards a Runtime Verification Approach for Internet of Things Systems.

Maurizio Leotta, Davide Ancona, Luca Franceschini, Dario Olianas, Marina Ribaudo, Filippo Ricca

Browse the full ICWE paper archive.