Construction and analysis of safe, secure, and interoperable smart devices : international workshop,CASSIS 2004, Marseille, France, March 10-14, 2004 ; revised selected papers
- New York: Springer, 2005
- vi, 256 p.; : 24 cm.
- 3362 .
- Lecture notes in computer science .