Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers

Gilles Barthe (Editor), Lilian Burdy (Editor), Marieke Huisman (Editor), Jean-Louis Lanet (Editor), Traian Muntean (Editor)

Research output: Book/ReportBook editingAcademic

Original languageEnglish
PublisherSpringer Singapore
ISBN (Print)3-540-24287-2
DOIs
Publication statusPublished - 2005
Externally publishedYes
Event1st International Workshop on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, CASSIS 2004 - Marseille, France
Duration: 10 Mar 200413 Mar 2004
Conference number: 1

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume3362

Cite this