Construction and analysis of safe, secure, and interoperable smart devices : second international workshop, CASSIS 2005, Nice, France, March 8-11, 2005 : revised selected papers
Gilles Barthe ... [et al.] (eds.)
Bok Engelsk 2006 CASSIS 2005
Utgitt | Berlin : Springer , c2006
|
---|---|
Omfang | VI, 173 s. : ill.
|
Emner | |
ISBN | 3540336893. - 9783540336891
|