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

Guardado en:
Detalles Bibliográficos
Autor principal: Gilles Barthe, Benjamin Grégoire, Marieke Huisman, Jean-Louis Lanet (edición)
Formato: Libro
Idioma:Inglés
Publicado: Berlín, Alemania : Springer, 2006, c2006
Colección:(Lecture Notes in Computer Science)
Acceso en línea:Ver documento en línea
Etiquetas: Agrega una etiqueta
Sin etiquetas, Sé el primero en etiquetar este registro!