Construction and Analysis of Safe, Secure, and Interoperable Smart Devices | International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers | ISBN 9783540242871
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers herausgegeben von Gilles Barthe , Lilian Burdy , Marieke Huisman , Jean-Louis Lanet und Traian Muntean
×
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers herausgegeben von Gilles Barthe , Lilian Burdy , Marieke Huisman , Jean-Louis Lanet und Traian Muntean Includes supplementary material: sn. pub/extras
