Verifying the Application of Security Measures in IoT Software Systems with Model Learning.

Sbastien Salva, Elliott Blot

Browse the full ICSoft paper archive.