Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers

Gilles Barthe (Editor), Benjamin Grégoire (Editor), Marieke Huisman (Editor), Jean-Louis Lanet (Editor)

Research output: Book/ReportBook editingAcademic

Original languageEnglish
PublisherSpringer Singapore
ISBN (Print)3-540-33689-3
DOIs
Publication statusPublished - 2006
Externally publishedYes
Event2nd International Workshop on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, CASSIS 2005 - Nice, France
Duration: 8 Mar 200511 Mar 2005
Conference number: 2

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume3956

Cite this