| 000 | 06254cam a2201021 i 4500 | ||
|---|---|---|---|
| 001 | on1003191814 | ||
| 003 | OCoLC | ||
| 005 | 20250707090905.0 | ||
| 006 | m o d | ||
| 007 | cr cnu|||unuuu | ||
| 008 | 170908s2017 sz a o 101 0 eng d | ||
| 040 |
_aGW5XE _beng _erda _epn _cGW5XE _dOCLCF _dYDX _dAZU _dUPM _dMERER _dUAB _dIOG _dCOO _dOCLCO _dOCLCQ _dOCLCA _dU3W _dCAUOI _dOCLCQ _dKSU _dCRU _dOCLCQ _dVT2 _dUCW _dOCLCQ _dEBLCP _dESU _dWYU _dUWO _dTFW _dOCLCQ _dUKMGB _dOCLCQ _dOCLCO _dOCLCA _dOCLCQ _dOCLCO _dCOM _dOCLCO _dOCLCQ _dOCLCO _dOCLCL |
||
| 015 |
_aGBB8N8372 _2bnb |
||
| 016 | 7 |
_a019168799 _2Uk |
|
| 019 |
_a1005456347 _a1008873145 _a1011966537 _a1048184276 _a1049848753 _a1066655971 _a1081283090 _a1086449887 |
||
| 020 |
_a9783319662848 _q(electronic bk.) |
||
| 020 |
_a3319662848 _q(electronic bk.) |
||
| 020 |
_z9783319662831 _q(print) |
||
| 020 | _z331966283X | ||
| 024 | 7 |
_a10.1007/978-3-319-66284-8 _2doi |
|
| 029 | 1 |
_aAU@ _b000060949679 |
|
| 029 | 1 |
_aUKMGB _b019168799 |
|
| 029 | 1 |
_aDKDLA _b820120-katalog:999910040005765 |
|
| 035 |
_a(OCoLC)1003191814 _z(OCoLC)1005456347 _z(OCoLC)1008873145 _z(OCoLC)1011966537 _z(OCoLC)1048184276 _z(OCoLC)1049848753 _z(OCoLC)1066655971 _z(OCoLC)1081283090 _z(OCoLC)1086449887 |
||
| 037 |
_acom.springer.onix.9783319662848 _bSpringer Nature |
||
| 050 | 4 | _aQA76.9.A25 | |
| 072 | 7 |
_aUM _2bicssc |
|
| 072 | 7 |
_aUYF _2bicssc |
|
| 072 | 7 |
_aCOM051000 _2bisacsh |
|
| 072 | 7 |
_aCOM036000 _2bisacsh |
|
| 082 | 0 | 4 |
_a005.8 _223 |
| 049 | _aMAIN | ||
| 245 | 0 | 0 |
_aComputer safety, reliability, and security : _bSAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings / _cStefano Tonetta, Erwin Schoitsch, Friedemann Bitsch (eds.). |
| 264 | 1 |
_aCham, Switzerland : _bSpringer, _c2017. |
|
| 300 |
_a1 online resource (xiv, 478 pages) : _billustrations |
||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_acomputer _bc _2rdamedia |
||
| 338 |
_aonline resource _bcr _2rdacarrier |
||
| 347 | _atext file | ||
| 347 | _bPDF | ||
| 490 | 1 |
_aLecture notes in computer science, _x0302-9743 ; _v10489 |
|
| 490 | 1 | _aLNCS sublibrary. SL 2, Programming and software engineering | |
| 500 | _aIncludes author index. | ||
| 588 | 0 | _aOnline resource; title from PDF title page (SpringerLink, viewed September 8, 2017). | |
| 505 | 0 | _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. | |
| 520 | _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. | ||
| 650 | 0 |
_aComputer security _vCongresses. _914968 |
|
| 650 | 0 |
_aComputer networks _xSecurity measures _vCongresses. _915567 |
|
| 650 | 6 |
_aSécurité informatique _vCongrès. _917411 |
|
| 650 | 6 |
_aRéseaux d'ordinateurs _xSécurité _xMesures _vCongrès. _916513 |
|
| 650 | 7 |
_aProgramming & scripting languages: general. _2bicssc _953441 |
|
| 650 | 7 |
_aSoftware Engineering. _2bicssc _914736 |
|
| 650 | 7 |
_aComputer security. _2bicssc _92191 |
|
| 650 | 7 |
_aInformation technology: general issues. _2bicssc _953629 |
|
| 650 | 7 |
_aComputer networking & communications. _2bicssc _953942 |
|
| 650 | 7 |
_aComputer programming _xsoftware development. _2bicssc _953440 |
|
| 650 | 7 |
_aComputers _xProgramming Languages _xGeneral. _2bisacsh |
|
| 650 | 7 |
_aComputers _xSoftware Development & Engineering _xGeneral. _2bisacsh _94347 |
|
| 650 | 7 |
_aComputers _xSecurity _xGeneral. _2bisacsh |
|
| 650 | 7 |
_aComputers _xData Processing. _2bisacsh _917991 |
|
| 650 | 7 |
_aComputers _xHardware _xGeneral. _2bisacsh |
|
| 650 | 7 |
_aComputers _xProgramming _xGeneral. _2bisacsh _953444 |
|
| 650 | 7 |
_aComputer networks _xSecurity measures _2fast |
|
| 650 | 7 |
_aComputer security _2fast _92191 |
|
| 655 | 2 |
_aCongress _911670 |
|
| 655 | 7 |
_aproceedings (reports) _2aat |
|
| 655 | 7 |
_aConference papers and proceedings _2fast _96065 |
|
| 655 | 7 |
_aConference papers and proceedings. _2lcgft _96065 |
|
| 655 | 7 |
_aActes de congrès. _2rvmgf _9609890 |
|
| 700 | 1 |
_aTonetta, Stefano, _eeditor. _961665 |
|
| 700 | 1 |
_aSchoitsch, Erwin, _eeditor. _939262 |
|
| 700 | 1 |
_aBitsch, Friedemann, _eeditor. _949843 |
|
| 711 | 2 |
_aSAFECOMP (Conference) _n(36th : _d2017 : _cTrento, Italy) _961666 |
|
| 711 | 2 |
_aInternational Workshop on Assurance Cases for Software-Intensive Systems _n(4th : _d2017 : _cTrento, Italy), _jjointly held conference. _9967882 |
|
| 711 | 2 |
_aDECSoS (Workshop) _d(2017 : _cTrento, Italy) _jjointly held conference. _9967883 |
|
| 711 | 2 |
_aSASSUR (Workshop) _n(6th : _d2017 : _cTrento, Italy), _jjointly held conference. _9967884 |
|
| 711 | 2 |
_aTELERISE (Workshop) _n(3rd : _d2017 : _cTrento, Italy), _jjointly held conference. _9967885 |
|
| 711 | 2 |
_aTIPS (Workshop) _n(2nd : _d2017 : _cTrento, Italy), _jjointly held conference. _9967886 |
|
| 758 |
_ihas work: _aComputer safety, reliability, and security (Text) _1https://id.oclc.org/worldcat/entity/E39PCGrqWCFXV6X6DvhdgjQwYd _4https://id.oclc.org/worldcat/ontology/hasWork |
||
| 776 | 0 | 8 |
_iPrinted edition: _z9783319662831 |
| 830 | 0 |
_aLecture notes in computer science ; _v10489. _x0302-9743 |
|
| 830 | 0 |
_aLNCS sublibrary. _nSL 2, _pProgramming and software engineering. _920654 |
|
| 856 | 4 | 0 | _uhttps://link.springer.com/10.1007/978-3-319-66284-8 |
| 938 |
_aProQuest Ebook Central _bEBLB _nEBL6298412 |
||
| 938 |
_aProQuest Ebook Central _bEBLB _nEBL5578604 |
||
| 938 |
_aYBP Library Services _bYANK _n14869881 |
||
| 994 |
_a92 _bATIST |
||
| 999 |
_c645449 _d645449 |
||