Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
CASSIS 2005: Nice, France
Gilles Barthe, Benjamin Grégoire, Marieke Huisman, Jean-Louis Lanet (Eds.):
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers.
Lecture Notes in Computer Science 3956 Springer 2006, ISBN 3-540-33689-3
Contents
CASSIS 2004: Marseille, France
Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean (Eds.):
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers.
Lecture Notes in Computer Science 3362 Springer 2005, ISBN 3-540-24287-2
Contents
Last update Sat May 18 00:47:58 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page