000 | 03254nam a22005895i 4500 | ||
---|---|---|---|
001 | vtls000485323 | ||
003 | RU-ToGU | ||
005 | 20210922065911.0 | ||
007 | cr nn 008mamaa | ||
008 | 140715s2013 gw | s |||| 0|eng d | ||
020 |
_a9783642407932 _9978-3-642-40793-2 |
||
024 | 7 |
_a10.1007/978-3-642-40793-2 _2doi |
|
035 | _ato000485323 | ||
040 |
_aSpringer _cSpringer _dRU-ToGU |
||
050 | 4 | _aQA76.9.A25 | |
072 | 7 |
_aUR _2bicssc |
|
072 | 7 |
_aUTN _2bicssc |
|
072 | 7 |
_aCOM053000 _2bisacsh |
|
082 | 0 | 4 |
_a005.8 _223 |
100 | 1 |
_aBitsch, Friedemann. _eeditor. _9415155 |
|
245 | 1 | 0 |
_aComputer Safety, Reliability, and Security _h[electronic resource] : _b32nd International Conference, SAFECOMP 2013, Toulouse, France, September 24-27, 2013. Proceedings / _cedited by Friedemann Bitsch, Jérémie Guiochet, Mohamed Kaâniche. |
260 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg : _bImprint: Springer, _c2013. |
||
300 |
_aXVI, 304 p. 109 illus. _bonline resource. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
490 | 1 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v8153 |
|
505 | 0 | _aSafety Requirements and Assurance -- Testing and Verification -- Security -- Software Reliability Assessment -- Practical Experience Reports and Tools -- Safety Assurance in Automotive -- Error Control Codes -- Dependable User Interfaces.- Hazard and Failure Mode Analysis. | |
520 | _aThis book constitutes the refereed proceedings of the 32nd International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2013, held in Toulouse, France, in September 2013. The 20 revised full papers presented together with 5 practical experience reports were carefully reviewed and selected from more than 88 submissions. The papers are organized in topical sections on safety requirements and assurance, testing and verification, security, software reliability assessment, practical experience reports and tools, safety assurance in automotive, error control codes, dependable user interfaces, and hazard and failure mode analysis. | ||
650 | 0 |
_aComputer Science. _9155490 |
|
650 | 0 |
_aComputer Communication Networks. _9566243 |
|
650 | 0 |
_aSoftware engineering. _9566225 |
|
650 | 0 |
_aData protection. _9303937 |
|
650 | 0 |
_aComputer software. _9303280 |
|
650 | 1 | 4 |
_aComputer Science. _9155490 |
650 | 2 | 4 |
_aSystems and Data Security. _9303939 |
650 | 2 | 4 |
_aComputer Communication Networks. _9566243 |
650 | 2 | 4 |
_aSoftware Engineering. _9566285 |
650 | 2 | 4 |
_aAlgorithm Analysis and Problem Complexity. _9303732 |
650 | 2 | 4 |
_aComputers and Society. _9303251 |
650 | 2 | 4 |
_aSpecial Purpose and Application-Based Systems. _9304104 |
700 | 1 |
_aGuiochet, Jérémie. _eeditor. _9415157 |
|
700 | 1 |
_aKaâniche, Mohamed. _eeditor. _9324558 |
|
710 | 2 |
_aSpringerLink (Online service) _9143950 |
|
773 | 0 | _tSpringer eBooks | |
830 | 0 |
_aLecture Notes in Computer Science, _9279505 |
|
856 | 4 | 0 | _uhttp://dx.doi.org/10.1007/978-3-642-40793-2 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-LNC | ||
999 | _c357132 |