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
Mitwirkende
Herausgegeben vonGilles Barthe
Herausgegeben vonLilian Burdy
Herausgegeben vonMarieke Huisman
Herausgegeben vonJean-Louis Lanet
Herausgegeben vonTraian Muntean
Buchcover Construction and Analysis of Safe, Secure, and Interoperable Smart Devices  | EAN 9783540242871 | ISBN 3-540-24287-2 | ISBN 978-3-540-24287-1

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
Mitwirkende
Herausgegeben vonGilles Barthe
Herausgegeben vonLilian Burdy
Herausgegeben vonMarieke Huisman
Herausgegeben vonJean-Louis Lanet
Herausgegeben vonTraian Muntean
Includes supplementary material: sn. pub/extras