Construction and analysis of safe, secure, and interoperable smart devices : international workshop, CASSIS 2004, Marseille, France, March 10-14, 2004 : revised selected papers /

Bibliographic Details
Corporate Authors: CASSIS (Conference), SpringerLink (Online service)
Other Authors: Barthe, Gilles, 1967-
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, [2005]
Series:Hot topics (Berlin, Germany)
Lecture notes in computer science. 3362.
Subjects:
Online Access:Connect to the full text of this electronic book