LEADER 04424nam  22007695  450 
001 996466259303316
005 20210126141354.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 $b[electronic resource] $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 ;$v10489
311   $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 ;$v10489
606   $aComputer logic
606   $aProgramming languages (Electronic computers)
606   $aSoftware engineering
606   $aComputer security
606   $aApplication software
606   $aComputer organization
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aSystems and Data Security$3https://scigraph.springernature.com/ontologies/product-market-codes/I28060
606   $aComputer Applications$3https://scigraph.springernature.com/ontologies/product-market-codes/I23001
606   $aComputer Systems Organization and Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13006
615  0$aComputer logic.
615  0$aProgramming languages (Electronic computers).
615  0$aSoftware engineering.
615  0$aComputer security.
615  0$aApplication software.
615  0$aComputer organization.
615 14$aLogics and Meanings of Programs.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aSoftware Engineering.
615 24$aSystems and Data Security.
615 24$aComputer Applications.
615 24$aComputer Systems Organization and Communication 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   $a996466259303316
996   $aComputer Safety, Reliability, and Security$92175020
997   $aUNISA