Book

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

by Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean