by Gilles Barthe (Editor), Benjamin Gregoire (Editor), Marieke Huisman (Editor), Jean-LuisLanet (Editor)
This book constitutes the refereed post-proceedings of the Second International Workshop on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, CASSIS 2005.
Format: Paperback
Pages: 184
Publisher: Springer
Published: 18 Apr 2006
ISBN 10: 3540336893
ISBN 13: 9783540336891