"Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, CASSIS 2004" - читать интересную книгу автора (Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean)