parallax background

NEWS

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 […]