An IoT Digital Twin for Cyber-Security Defence Based on Runtime Verification.

Jorge David de Hoz Diego, Anastasios Temperekidis, Panagiotis Katsaros, Charalambos Konstantinou

Browse the full ISoLA paper archive.