LEADER 04015nam  22007935  450 
001 9910483200003321
005 20251225211006.0
010   $a3-319-66284-8
024 7 $a10.1007/978-3-319-66284-8
035   $a(CKB)4100000000587138
035   $a(DE-He213)978-3-319-66284-8
035   $a(MiAaPQ)EBC6298412
035   $a(MiAaPQ)EBC5578604
035   $a(Au-PeEL)EBL5578604
035   $a(OCoLC)1003191814
035   $a(PPN)204533457
035   $a(EXLCZ)994100000000587138
100   $a20170902d2017      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aComputer Safety, Reliability, and Security $eSAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings /$fedited by Stefano Tonetta, Erwin Schoitsch, Friedemann Bitsch
205   $a1st ed. 2017.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2017.
215   $a1 online resource (XIV, 478 p. 138 illus.) 
225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v10489
311 08$a3-319-66283-X 
327   $aAssurance cases for Software-Intensive Systems.-  Dependable embedded and cyber-physical systems and systems-of-systems -- Next generation of system assurance  approaches for safety-critical systems -- Timing performance in safety engineering -- Technical and legal aspects of data privacy and security.
330   $aThis book constitutes the refereed proceedings of five workshops co-located with SAFECOMP 2017, the 36th International Conference on Computer Safety, Reliability, and Security, held in Trento, Italy, in September 2017. The 38 revised full papers presented together with 5 introductory papers to each workshop, and three invited papers, were carefully reviewed and selected from 49 submissions. This year's workshops are: ASSURE 2017 ? Assurance Cases for Software-Intensive Systems; DECSoS 2017 ? ERCIM/EWICS/ARTEMIS Dependable Embedded and Cyber-Physical Systems and Systems-of-Systems; SASSUR 2017 ? Next Generation of System Assurance  Approaches for Safety-Critical Systems; TIPS 2017 ? Timing Performance in Safety Engineering; TELERISE 2017 Technical and legal Aspects of Data Privacy and Security.
410  0$aProgramming and Software Engineering,$x2945-9168 ;$v10489
606   $aComputer science
606   $aCompilers (Computer programs)
606   $aSoftware engineering
606   $aData protection
606   $aApplication software
606   $aComputer engineering
606   $aComputer networks
606   $aComputer Science Logic and Foundations of Programming
606   $aCompilers and Interpreters
606   $aSoftware Engineering
606   $aData and Information Security
606   $aComputer and Information Systems Applications
606   $aComputer Engineering and Networks
615  0$aComputer science.
615  0$aCompilers (Computer programs)
615  0$aSoftware engineering.
615  0$aData protection.
615  0$aApplication software.
615  0$aComputer engineering.
615  0$aComputer networks.
615 14$aComputer Science Logic and Foundations of Programming.
615 24$aCompilers and Interpreters.
615 24$aSoftware Engineering.
615 24$aData and Information Security.
615 24$aComputer and Information Systems Applications.
615 24$aComputer Engineering and Networks.
676   $a005.8
702   $aTonetta$b Stefano$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aSchoitsch$b Erwin$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aBitsch$b Friedemann$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910483200003321
996   $aComputer Safety, Reliability, and Security$92908259
997   $aUNINA