01731nlm0 22004811i 450 9900092363404033219783540305699000923634FED01000923634(Aleph)000923634FED0100092363420100926d2005----km-y0itay50------baengDEdrnn-008mamaaConstruction and Analysis of Safe, Secure, and Interoperable Smart DevicesRisorsa elettronicaInternational Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papersedited by Gilles Barthe, Lilian Burdy, MarBerlin ; HeidelbergSpringer2005Lecture Notes in Computer Science0302-97433362Documento elettronicoTestoFormato html, pdfBarthe,GillesBurdy,LilianHuisman,MariekeLanet,Jean-LouisMuntean,TraianITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/b105030EB990009236340403321Computer scienceComputer ScienceLogic designLogics and Meanings of ProgramsOperating SystemsOperating systems (Computers)Programming Languages, Compilers, InterpretersProgramming TechniquesSoftware engineeringSoftware EngineeringSpecial Purpose and Application-Based SystemsConstruction and Analysis of Safe, Secure, and Interoperable Smart Devices772225UNINA