01706nlm0 22004691i 450 9900092495504033219783540336914000924955FED01000924955(Aleph)000924955FED0100092495520100926d2006----km-y0itay50------baengDEdrnn-008mamaaConstruction and Analysis of Safe, Secure, and Interoperable Smart DevicesRisorsa elettronicaSecond International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papersedited by Gilles Barthe, Benjamin GrégoirBerlin ; HeidelbergSpringer2006Lecture Notes in Computer Science0302-97433956Documento elettronicoTestoFormato html, pdfBarthe,GillesGrégoire,BenjaminHuisman,MariekeLanet,Jean-LouisITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/11741060EB990009249550403321Computer 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