Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Second International Workshop, CASSIS 2005, Nice, France, March 8-11, ... Notes in Computer Science (3956), Band 3956)

Interoperable

von: Gilles Barthe · Benjamin Gregoire · Marieke Huisman · Jean-Luis Lanet

Taschenbuch

ISBN: 978-3-540-33689-1

ISBN-10: 3-540-33689-3

Springer Berlin Heidelberg · 2010