Construction and Analysis of Safe, Secure, and Interoperable Smart Devices [Risorsa elettronica] : International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers / edited by Gilles Barthe, Lilian Burdy, Mar
Pubbl/distr/stampa
Berlin ; Heidelberg : Springer, 2005
ISBN
9783540305699
Collana
Lecture Notes in Computer Science , 0302-9743 ; 3362