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

Powered by Koha