ABOUT
E-PORTAL 2020
INFORMATION
TOPICS
TEAM
✕
NEWS
23/05/2018
23/05/2018
Towards Secure Things, or How to Verify IoT Software with Frama-C
The technical subject and its importance Among distributed systems, connected devices and services, also referred to as the Internet of Things (IoT), are gaining wider and
[…]