000 | 02812nam a22006375i 4500 | ||
---|---|---|---|
001 | 978-3-319-45477-1 | ||
003 | DE-He213 | ||
005 | 20200421111651.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 | |
050 | 4 | _aQA76.63 | |
072 | 7 |
_aUM _2bicssc |
|
072 | 7 |
_aUYF _2bicssc |
|
072 | 7 |
_aCOM051000 _2bisacsh |
|
072 | 7 |
_aCOM036000 _2bisacsh |
|
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�er�emie Guiochet, Friedemann Bitsch. |
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 |
_aLecture Notes in Computer Science, _x0302-9743 ; _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 science. | |
650 | 0 | _aComputer organization. | |
650 | 0 | _aSoftware engineering. | |
650 | 0 | _aProgramming languages (Electronic computers). | |
650 | 0 | _aComputer security. | |
650 | 0 | _aComputer logic. | |
650 | 0 | _aApplication software. | |
650 | 1 | 4 | _aComputer Science. |
650 | 2 | 4 | _aLogics and Meanings of Programs. |
650 | 2 | 4 | _aProgramming Languages, Compilers, Interpreters. |
650 | 2 | 4 | _aSoftware Engineering. |
650 | 2 | 4 | _aSystems and Data Security. |
650 | 2 | 4 | _aComputer Applications. |
650 | 2 | 4 | _aComputer Systems Organization and Communication Networks. |
700 | 1 |
_aSkavhaug, Amund. _eeditor. |
|
700 | 1 |
_aGuiochet, J�er�emie. _eeditor. |
|
700 | 1 |
_aBitsch, Friedemann. _eeditor. |
|
710 | 2 | _aSpringerLink (Online service) | |
773 | 0 | _tSpringer eBooks | |
776 | 0 | 8 |
_iPrinted edition: _z9783319454764 |
830 | 0 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v9922 |
|
856 | 4 | 0 | _uhttp://dx.doi.org/10.1007/978-3-319-45477-1 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-LNC | ||
942 | _cEBK | ||
999 |
_c54384 _d54384 |