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; Lilian Burdy; Marieke Huisman; Jean-Louis Lanet; Traian Muntean

doi:10.1007/b105030

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/Report › Book editing › Academic

Original language	English
Publisher	Springer
ISBN (Print)	3-540-24287-2
DOIs	https://doi.org/10.1007/b105030
Publication status	Published - 2005
Externally published	Yes
Event	1st International Workshop on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, CASSIS 2004 - Marseille, France Duration: 10 Mar 2004 → 13 Mar 2004 Conference number: 1

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	3362

Access to Document

10.1007/b105030

Cite this

@book{fe3dbea0c65f450cba3f4943ec98f1c9,

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

editor = "Gilles Barthe and Lilian Burdy and Marieke Huisman and Jean-Louis Lanet and Traian Muntean",

year = "2005",

doi = "10.1007/b105030",

language = "English",

isbn = "3-540-24287-2",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

note = "1st International Workshop on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, CASSIS 2004, CASSIS 2004 ; Conference date: 10-03-2004 Through 13-03-2004",

}

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers. / Barthe, Gilles (Editor); Burdy, Lilian (Editor); Huisman, Marieke (Editor) et al.
Springer, 2005. (Lecture Notes in Computer Science; Vol. 3362).

Research output: Book/Report › Book editing › Academic

TY - BOOK

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

A2 - Barthe, Gilles

A2 - Burdy, Lilian

A2 - Huisman, Marieke

A2 - Lanet, Jean-Louis

A2 - Muntean, Traian

N1 - Conference code: 1

PY - 2005

Y1 - 2005

U2 - 10.1007/b105030

DO - 10.1007/b105030

M3 - Book editing

SN - 3-540-24287-2

T3 - Lecture Notes in Computer Science

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

PB - Springer

T2 - 1st International Workshop on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, CASSIS 2004

Y2 - 10 March 2004 through 13 March 2004

ER -