cam a22 4500 357849809 CHVBK 20201209093412.0 160304s2005 gw ||||| |||| 10 |eng d 3-540-24287-2 (RERO)R008381049 RERO geucui s1in rero Construction and analysis of safe, secure, and interoperable smart devices international workshop, CASSIS 2004, Marseille, France, March 10-14, 2004 : revised selected papers Gilles Barthe ... [et al.] (eds.) CASSIS 2004 Berlin Springer 2005 256 p. ill. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 3362 Variante du titre: CASSIS 2004 La couv. porte: Hot topics Fiabilité (RERO)A021005082 rero Cartes à mémoire (RERO)A021016321 rero Systèmes informatiques (RERO)A021002803 rero Mesures de sûreté (RERO)A021017451 rero Actes de congrès (RERO)A021105530 rero Barthe Gilles informaticien (IDREF)077288904 International Workshop on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (2004 Marseille) (RERO)A026065879 Lecture notes in computer science 3362 (RERO)000078255 BK020800 XK020000 XK020000 RERO RE61083 RE61083 RE610830006 D.2.0 CAS 04 RERO 490 1- Lecture notes in computer science 3362 RERO 700 1- Barthe Gilles informaticien (IDREF)077288904 RERO 711 2- International Workshop on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (2004 Marseille) (RERO)A026065879 RERO 830 -- Lecture notes in computer science 3362 (RERO)000078255 SWISSBIB 160830931