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

Barthe, Gilles.

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers / [electronic resource] : edited by Gilles Barthe, Benjamin Grégoire, Marieke Huisman, Jean-Louis Lanet. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. - v.: digital - Lecture Notes in Computer Science, 3956 0302-9743 ; .

9783540336914


Computer science
Software engineering
Operating systems (Computers)
Logic design
Computer Science
Software Engineering
Special Purpose and Application-Based Systems
Programming Techniques
Programming Languages, Compilers, Interpreters
Operating Systems
Logics and Meanings of Programs

TK7895.S62 / B37 2006