LEADER 03973nam  22007455  450 
001 996466153303316
005 20210126141401.0
010   $a3-319-66266-X
024 7 $a10.1007/978-3-319-66266-4
035   $a(CKB)3710000001631274
035   $a(DE-He213)978-3-319-66266-4
035   $a(MiAaPQ)EBC5591398
035   $a(PPN)203850319
035   $a(EXLCZ)993710000001631274
100   $a20170816d2017      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] $e36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 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 (XIX, 344 p. 107 illus.) 
225 1 $aProgramming and Software Engineering ;$v10488
311   $a3-319-66265-1 
320   $aIncludes bibliographical references and index.
327   $aDynamic fault trees -- Safety case and argumentation -- Formal verification -- Autonomous systems -- Static analysis and testing -- Safety analysis and assessment -- Safety and security.
330   $aThis 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.
410  0$aProgramming and Software Engineering ;$v10488
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   $a621.38195835
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   $a996466153303316
996   $aComputer Safety, Reliability, and Security$9772429
997   $aUNISA