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. Springer 2006 Lecture Notes in Computer Science 3956 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. Springer 2005 Lecture Notes in Computer Science 3362 ISBN 3-540-24287-2 [ contents ]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team