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 2005 - Lecture Notes in Computer Science (LNCS) v.3362 .
978-3-540-30569-9
Construction and analysis of safe, secure, and interoperable smart devices (e-book) - Berlin Springer 2005 - Lecture Notes in Computer Science (LNCS) v.3362 .
978-3-540-30569-9