Construction and analysis of safe, secure, and interoperable smart devices (e-book)
Barthe, Gilles
Construction and analysis of safe, secure, and interoperable smart devices (e-book) - Berlin Springer 2006 - Lecture Notes in Computer Science (LNCS) v.3956 .
978-3-540-33691-4
Construction and analysis of safe, secure, and interoperable smart devices (e-book) - Berlin Springer 2006 - Lecture Notes in Computer Science (LNCS) v.3956 .
978-3-540-33691-4