Your search returned 2 results.

Results
		Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3956) [Recurso electrónico] / Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers edited by Gilles Barthe, Benj by Barthe, Gilles \| Gregoire, Benjamin \| Huisman, Marieke \| Lanet, Jean-Luis \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3956Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3362) [Recurso electrónico] / International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers edited by Gilles BartheLilian by Barthe, Gilles \| Burdy, Lilian \| Huisman, Marieke \| Lanet, Jean-Louis \| Muntean, Traian \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3362Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)

Refine your search