國立虎尾科技大學 |

Computer Safety, Reliability, and Security = 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Computer Safety, Reliability, and Security/ edited by Barbara Gallina, Amund Skavhaug, Friedemann Bitsch.
其他題名:	37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings /
其他作者:	Gallina, Barbara.
面頁冊數:	XXI, 312 p. 92 illus.online resource. :
Contained By:	Springer Nature eBook
標題:	Computer logic. -
電子資源:	https://doi.org/10.1007/978-3-319-99130-6
ISBN:	9783319991306

Computer Safety, Reliability, and Security = 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings /
Computer Safety, Reliability, and Security37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings /[electronic resource] :edited by Barbara Gallina, Amund Skavhaug, Friedemann Bitsch. - 1st ed. 2018. - XXI, 312 p. 92 illus.online resource. - Programming and Software Engineering ;11093. - Programming and Software Engineering ;8987.

Automotive Safety Standards and Cross-domain Reuse Potential -- Autonomous Driving and Safety Analysis -- Verification -- Multi-concern Assurance -- Fault Tolerance -- Safety and Security Risk.

This book constitutes the refereed proceedings of the 37th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2018, held in Västerås, Sweden, in September 2018. The 19 revised full papers and 1 short paper presented together with three abstracts of keynotes were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections on Automotive Safety Standards and Cross-domain Reuse Potential; Autonomous Driving and Safety Analysis; Verification; Multi-concern Assurance; Fault Tolerance; and Safety and Security Risk.

ISBN: 9783319991306

Standard No.: 10.1007/978-3-319-99130-6doiSubjects--Topical Terms:

786340
Computer logic.

LC Class. No.: QA76.9.L63

Dewey Class. No.: 005.1015113

Computer Safety, Reliability, and Security = 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings /
LDR:02330nam a22004335i 4500 001 987269
003 DE-He213
005 20200707025423.0
007 cr nn 008mamaa
008 201225s2018 gw | s |||| 0|eng d
020 $a 9783319991306 $9 978-3-319-99130-6
024 7 $a 10.1007/978-3-319-99130-6 $2 doi
035 $a 978-3-319-99130-6
050 4 $a QA76.9.L63
050 4 $a QA76.5913
072 7 $a UM $2 bicssc
072 7 $a COM051000 $2 bisacsh
072 7 $a UM $2 thema
072 7 $a UYF $2 thema
082 0 4 $a 005.1015113 $2 23
245 1 0 $a Computer Safety, Reliability, and Security $h [electronic resource] : $b 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings / $c edited by Barbara Gallina, Amund Skavhaug, Friedemann Bitsch.
250 $a 1st ed. 2018.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2018.
300 $a XXI, 312 p. 92 illus. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Programming and Software Engineering ; $v 11093
505 0 $a Automotive Safety Standards and Cross-domain Reuse Potential -- Autonomous Driving and Safety Analysis -- Verification -- Multi-concern Assurance -- Fault Tolerance -- Safety and Security Risk.
520 $a This book constitutes the refereed proceedings of the 37th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2018, held in Västerås, Sweden, in September 2018. The 19 revised full papers and 1 short paper presented together with three abstracts of keynotes were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections on Automotive Safety Standards and Cross-domain Reuse Potential; Autonomous Driving and Safety Analysis; Verification; Multi-concern Assurance; Fault Tolerance; and Safety and Security Risk.
650 0 $a Computer logic. $3 786340
650 0 $a Special purpose computers. $3 1204562
650 0 $a Computer communication systems. $3 1115394
650 0 $a Software engineering. $3 562952
650 0 $a Computer security. $3 557122
650 0 $a Microprogramming . $3 1257366
650 1 4 $a Logics and Meanings of Programs. $3 670058
650 2 4 $a Special Purpose and Application-Based Systems. $3 669833
650 2 4 $a Computer Communication Networks. $3 669310
650 2 4 $a Software Engineering. $3 669632
650 2 4 $a Systems and Data Security. $3 677062
650 2 4 $a Control Structures and Microprogramming. $3 669788
700 1 $a Gallina, Barbara. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1208315
700 1 $a Skavhaug, Amund. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1112411
700 1 $a Bitsch, Friedemann. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1078146
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783319991290
776 0 8 $i Printed edition: $z 9783319991313
830 0 $a Programming and Software Engineering ; $v 8987 $3 1253476
856 4 0 $u https://doi.org/10.1007/978-3-319-99130-6
912 $a ZDB-2-SCS
912 $a ZDB-2-SXCS
912 $a ZDB-2-LNC
950 $a Computer Science (SpringerNature-11645)
950 $a Computer Science (R0) (SpringerNature-43710)