00862nam0 2200241 450 00002546520190318164513.020090429d1959----km-y0itay50------baitaITy-------001yyAssicurazione e responsabilità civilesecondo convegno per la trattazione di temi assicurativiPerugia, 7-9 settembre 1958presentazione Mario DuniMilanoGiuffrè1959263 p.25 cmAssicurazioni di responsabilità36816AssicurazioniDuni,MarioConvegno per la trattazione di temi assicurativi<2. ;1958>423788ITUNIPARTHENOPE20090429RICAUNIMARC000025465DEP V-003516793NAVA42009Assicurazione e responsabilità civile1211944UNIPARTHENOPE03568nam 22007695 450 991048494540332120251225210957.03-319-66266-X10.1007/978-3-319-66266-4(CKB)3710000001631274(DE-He213)978-3-319-66266-4(MiAaPQ)EBC5591398(PPN)203850319(EXLCZ)99371000000163127420170816d2017 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierComputer Safety, Reliability, and Security 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings /edited by Stefano Tonetta, Erwin Schoitsch, Friedemann Bitsch1st ed. 2017.Cham :Springer International Publishing :Imprint: Springer,2017.1 online resource (XIX, 344 p. 107 illus.) Programming and Software Engineering,2945-9168 ;104883-319-66265-1 Includes bibliographical references and index.Dynamic fault trees -- Safety case and argumentation -- Formal verification -- Autonomous systems -- Static analysis and testing -- Safety analysis and assessment -- Safety and security.This book constitutes the refereed proceedings of the 36th International Conference  on Computer Safety, Reliability, and Security, SAFECOMP 2017, held in Trento, Italy, in September 2017. The 22 revised full papers and two abstracts of keynotes presented  were carefully reviewed  and selected from 65 submissions. The papers are organized in topical sections on dynamic fault trees; safety case and argumentation; formal verification; autonomous systems; static analysis and testing; safety analysis and assessment; safety and security.Programming and Software Engineering,2945-9168 ;10488Computer scienceCompilers (Computer programs)Software engineeringData protectionApplication softwareComputer engineeringComputer networksComputer Science Logic and Foundations of ProgrammingCompilers and InterpretersSoftware EngineeringData and Information SecurityComputer and Information Systems ApplicationsComputer Engineering and NetworksComputer science.Compilers (Computer programs).Software engineering.Data protection.Application software.Computer engineering.Computer networks.Computer Science Logic and Foundations of Programming.Compilers and Interpreters.Software Engineering.Data and Information Security.Computer and Information Systems Applications.Computer Engineering and Networks.621.38195835Tonetta Stefanoedthttp://id.loc.gov/vocabulary/relators/edtSchoitsch Erwinedthttp://id.loc.gov/vocabulary/relators/edtBitsch Friedemannedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910484945403321Computer Safety, Reliability, and Security2908259UNINA