000			03305nam a22006375i 4500
001			978-3-319-45480-1
003			DE-He213
005			20200421112556.0
007			cr nn 008mamaa
008			160831s2016 gw | s |||| 0|eng d
020			_a9783319454801 _9978-3-319-45480-1
024	7		_a10.1007/978-3-319-45480-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] : _bSAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings / _cedited by Amund Skavhaug, J�er�emie Guiochet, Erwin Schoitsch, Friedemann Bitsch.
264		1	_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2016.
300			_aXIV, 400 p. 130 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 ; _v9923
505	0		_aSAFECOMP 2016 Workshops: ASSURE 2016 - Assurance Cases for Software-intensive Systems -- DECSoS 2016 - EWICS/ERCIM/ARTEMIS Dependable Cyber-physical Systems and Systems-of-Systems Workshop -- SASSUR 2016 - Next Generation of System Assurance Approaches for Safety-Critical Systems -- TIPS 2016 -Timing Performance in Safety Engineering.
520			_aThis book constitutes the refereed proceedings of four workshops co-located with SAFECOMP 2016, the 35th International Conference on Computer Safety, Reliability, and Security, held in Trondheim, Norway, in September 2016. The 30 revised full papers presented together with 4 short and 5 invited papers were carefully reviewed and selected from numerous submissions. This year's workshop are: ASSURE 2016 - Assurance Cases for Software-intensive Systems; DECSoS 2016 - EWICS/ERCIM/ARTEMIS Dependable Cyber-physical Systems and Systems-of-Systems Workshop; SASSUR 2016 - Next Generation of System Assurance Approaches for Safety-Critical Systems; and TIPS 2016 - Timing Performance in Safety Engineering.
650		0	_aComputer science.
650		0	_aSoftware engineering.
650		0	_aComputers.
650		0	_aComputer logic.
650		0	_aMathematical logic.
650		0	_aApplication software.
650	1	4	_aComputer Science.
650	2	4	_aLogics and Meanings of Programs.
650	2	4	_aComputation by Abstract Devices.
650	2	4	_aSoftware Engineering.
650	2	4	_aComputer Applications.
650	2	4	_aMathematical Logic and Formal Languages.
700	1		_aSkavhaug, Amund. _eeditor.
700	1		_aGuiochet, J�er�emie. _eeditor.
700	1		_aSchoitsch, Erwin. _eeditor.
700	1		_aBitsch, Friedemann. _eeditor.
710	2		_aSpringerLink (Online service)
773	0		_tSpringer eBooks
776	0	8	_iPrinted edition: _z9783319454795
830		0	_aLecture Notes in Computer Science, _x0302-9743 ; _v9923
856	4	0	_uhttp://dx.doi.org/10.1007/978-3-319-45480-1
912			_aZDB-2-SCS
912			_aZDB-2-LNC
942			_cEBK
999			_c59186 _d59186