Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books 1 - 10 of about 41 related to Construction and Analysis of Safe, Secure, and Interoperable Smart Devices ....   

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices ...

Gilles Barthe, Benjamin Gregoire, Marieke Huisman, Jean-Luis Lanet - Computers - 2006 - 173 pages
This book constitutes the refereed post-proceedings of the Second International Workshop on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, CASSIS ...
Limited preview - About this book

Security and Trust Management: 6th International Workshop, STM 2010, Athens ...

Jorge Cuellar, Javier Lopez, Gilles Barthe, Alexander Pretschner - Business & Economics - 2011 - 271 pages
This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop on Security and Trust Management, STM 2010, held in Athens, Greece ...
Limited preview - About this book

Formal Aspects of Security and Trust: 8th International Workshop, FAST 2011 ...

Gilles Barthe, Anupam Datta, Sandro Etalle - Computers - 2012 - 279 pages
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Formal Aspects of Security and Trust, FAST 2011, held in ...
Limited preview - About this book

Programming Languages and Systems: 20th European Symposium on Programming ...

Gilles Barthe - Computers - 2011 - 501 pages
This book constitutes the refereed proceedings of the 20th European Symposium on Programming, ESOP 2011, held in Saarbrücken, Germany, March 30—April 1, 2011, as part of ETAPS ...
Limited preview - About this book

Engineering Secure Software and Systems: 4th International Symposium, ESSoS ...

Gilles Barthe, Ben Livshits, Riccardo Scandariato - Computers - 2012 - 151 pages
This book constitutes the refereed proceedings of the 4th International Symposium on Engineering Secure Software and Systems, ESSoS 2012, held in Eindhoven, The Netherlands, in ...
Limited preview - About this book

Software Engineering and Formal Methods: 9th International Conference, SEFM ...

Gilles Barthe, Alberto Pardo, Gerardo Schneider - Computers - 2011 - 504 pages
This book constitutes the refereed proceedings of the 9th International Conference on Software Engineering and Formal Methods, SEFM 2011, held in Montevideo, Uruguay, in ...
Limited preview - About this book

Applied Semantics: International Summer School, APPSEM 2000, Caminha ...

Gilles Barthe, Peter Dybjer, Luis Pinto, João Saraiva - Language Arts & Disciplines - 2003 - 536 pages
This book is based on material presented at the international summer school on Applied Semantics that took place in Caminha, Portugal, in September 2000. We aim to present some ...
Limited preview - About this book

Verification, Model Checking, and Abstract Interpretation: 11th ...

Gilles Barthe, Manuel Hermenegildo - Computers - 2010 - 397 pages
This volume contains the proceedings of the 11th International Conference on Veri?cation, Model Checking, and Abstract Interpretation (VMCAI 2010), held in Madrid, Spain ...
Limited preview - About this book

Trustworthy Global Computing: Third Symposium, TGC 2007, Sophia-Antipolis ...

Gilles Barthe, Cédric Fournet - Computers - 2008 - 401 pages
This book constitutes the thoroughly refereed post-conference proceedings of the Third Symposium on Trustworthy Global Computing, TGC 2007; it also contains tutorials from the ...
Limited preview - About this book




  1. My library
  2. Help
  3. Advanced Book Search