000 | 03626nam a22006615i 4500 | ||
---|---|---|---|
001 | 978-3-319-45477-1 | ||
003 | DE-He213 | ||
005 | 20210120143255.0 | ||
007 | cr nn 008mamaa | ||
008 | 160903s2016 gw | s |||| 0|eng d | ||
020 |
_a9783319454771 _9978-3-319-45477-1 |
||
024 | 7 |
_a10.1007/978-3-319-45477-1 _2doi |
|
050 | 4 | _aQA76.9.L63 | |
050 | 4 | _aQA76.5913 | |
072 | 7 |
_aUM _2bicssc |
|
072 | 7 |
_aCOM051000 _2bisacsh |
|
072 | 7 |
_aUM _2thema |
|
072 | 7 |
_aUYF _2thema |
|
082 | 0 | 4 |
_a005.1015113 _223 |
245 | 1 | 0 |
_aComputer Safety, Reliability, and Security _h[electronic resource] : _b35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings / _cedited by Amund Skavhaug, Jérémie Guiochet, Friedemann Bitsch. |
250 | _a1st ed. 2016. | ||
264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2016. |
|
300 |
_aXV, 324 p. 105 illus. _bonline resource. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
490 | 1 |
_aProgramming and Software Engineering ; _v9922 _aLecture Notes in Computer Science _v9922 |
|
520 | _aThis book constitutes the refereed proceedings of the 35th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2016, held in Trondheim, Norway, in September 2016. The 24 revised full papers presented were carefully reviewed and selected from 71 submissions. The papers are organized in topical sections on fault injection, safety assurance, formal verification, automotive, anomaly detection and resilience, cyber security, fault trees, and safety analysis. | ||
650 | 0 | _aComputer logic. | |
650 | 0 | _aProgramming languages (Electronic computers). | |
650 | 0 | _aSoftware engineering. | |
650 | 0 | _aComputer security. | |
650 | 0 | _aApplication software. | |
650 | 0 | _aComputer organization. | |
650 | 1 | 4 |
_aLogics and Meanings of Programs. _0https://scigraph.springernature.com/ontologies/product-market-codes/I1603X |
650 | 2 | 4 |
_aProgramming Languages, Compilers, Interpreters. _0https://scigraph.springernature.com/ontologies/product-market-codes/I14037 |
650 | 2 | 4 |
_aSoftware Engineering. _0https://scigraph.springernature.com/ontologies/product-market-codes/I14029 |
650 | 2 | 4 |
_aSystems and Data Security. _0https://scigraph.springernature.com/ontologies/product-market-codes/I28060 |
650 | 2 | 4 |
_aComputer Applications. _0https://scigraph.springernature.com/ontologies/product-market-codes/I23001 |
650 | 2 | 4 |
_aComputer Systems Organization and Communication Networks. _0https://scigraph.springernature.com/ontologies/product-market-codes/I13006 |
700 | 1 |
_aSkavhaug, Amund. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
700 | 1 |
_aGuiochet, Jérémie. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
700 | 1 |
_aBitsch, Friedemann. _eeditor. _0(orcid)0000-0001-6152-4121 _1https://orcid.org/0000-0001-6152-4121 _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
710 | 2 | _aSpringerLink (Online service) | |
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9783319454764 |
776 | 0 | 8 |
_iPrinted edition: _z9783319454788 |
830 | 0 |
_aProgramming and Software Engineering ; _v9922 |
|
830 | 0 |
_aLecture Notes in Computer Science ; _v9922 |
|
856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-319-45477-1 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-SXCS | ||
912 | _aZDB-2-LNC | ||
942 | _cEBK | ||
999 |
_c56935 _d56935 |