04133nam 22007455 450 99646531880331620210126133543.03-319-45480-310.1007/978-3-319-45480-1(CKB)3710000000837746(DE-He213)978-3-319-45480-1(MiAaPQ)EBC6297027(MiAaPQ)EBC5587520(Au-PeEL)EBL5587520(OCoLC)958292556(PPN)19480433X(EXLCZ)99371000000083774620160831d2016 u| 0engurnn#008mamaatxtrdacontentcrdamediacrrdacarrierComputer Safety, Reliability, and Security[electronic resource] SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings /edited by Amund Skavhaug, Jérémie Guiochet, Erwin Schoitsch, Friedemann Bitsch1st ed. 2016.Cham :Springer International Publishing :Imprint: Springer,2016.1 online resource (XIV, 400 p. 130 illus.)Programming and Software Engineering ;99233-319-45479-X Includes bibliographical references and index.SAFECOMP 2016 Workshops: ASSURE 2016 - Assurance Cases for Software-intensive Systems -- DECSoS 2016 - EWICS/ERCIM/ARTEMIS Dependable Cyber-physical Systems and Systems-of-Systems Workshop -- SASSUR 2016 - Next Generation of System Assurance Approaches for Safety-Critical Systems -- TIPS 2016 –Timing Performance in Safety Engineering.This book constitutes the refereed proceedings of four workshops co-located with SAFECOMP 2016, the 35th International Conference on Computer Safety, Reliability, and Security, held in Trondheim, Norway, in September 2016. The 30 revised full papers presented together with 4 short and 5 invited papers were carefully reviewed and selected from numerous submissions. This year’s workshop are: ASSURE 2016 - Assurance Cases for Software-intensive Systems; DECSoS 2016 - EWICS/ERCIM/ARTEMIS Dependable Cyber-physical Systems and Systems-of-Systems Workshop; SASSUR 2016 - Next Generation of System Assurance Approaches for Safety-Critical Systems; and TIPS 2016 – Timing Performance in Safety Engineering.Programming and Software Engineering ;9923Computer logicComputersSoftware engineeringApplication softwareMathematical logicLogics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XComputation by Abstract Deviceshttps://scigraph.springernature.com/ontologies/product-market-codes/I16013Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Computer Applicationshttps://scigraph.springernature.com/ontologies/product-market-codes/I23001Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Computer logic.Computers.Software engineering.Application software.Mathematical logic.Logics and Meanings of Programs.Computation by Abstract Devices.Software Engineering.Computer Applications.Mathematical Logic and Formal Languages.005.8Skavhaug Amundedthttp://id.loc.gov/vocabulary/relators/edtGuiochet Jérémieedthttp://id.loc.gov/vocabulary/relators/edtSchoitsch Erwinedthttp://id.loc.gov/vocabulary/relators/edtBitsch Friedemannedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK996465318803316Computer Safety, Reliability, and Security2175020UNISA