國立虎尾科技大學 |

Computer safety, reliability, and security = 37th International Conference, SAFECOMP 2018, Vasteras, Sweden, September 19-21, 2018 : proceedings /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Computer safety, reliability, and security/ edited by Barbara Gallina, Amund Skavhaug, Friedemann Bitsch.
Reminder of title:	37th International Conference, SAFECOMP 2018, Vasteras, Sweden, September 19-21, 2018 : proceedings /
remainder title:	SAFECOMP 2018
other author:	Gallina, Barbara.
corporate name:	Workshop on the Preservation of Stability under Discretization
Published:	Cham :Springer International Publishing : : 2018.,
Description:	xxi, 312 p. :ill., digital ; : 24 cm.;
Contained By:	Springer eBooks
Subject:	Computer security - Congresses. -
Online resource:	https://doi.org/10.1007/978-3-319-99130-6
ISBN:	9783319991306

Computer safety, reliability, and security = 37th International Conference, SAFECOMP 2018, Vasteras, Sweden, September 19-21, 2018 : proceedings /
Computer safety, reliability, and security37th International Conference, SAFECOMP 2018, Vasteras, Sweden, September 19-21, 2018 : proceedings /[electronic resource] :SAFECOMP 2018edited by Barbara Gallina, Amund Skavhaug, Friedemann Bitsch. - Cham :Springer International Publishing :2018. - xxi, 312 p. :ill., digital ;24 cm. - Lecture notes in computer science,110930302-9743 ;. - Lecture notes in computer science ;6140..

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 Vasteras, 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:

574522
Computer security
--Congresses.

LC Class. No.: QA76.9.A25

Dewey Class. No.: 005.8

Computer safety, reliability, and security = 37th International Conference, SAFECOMP 2018, Vasteras, Sweden, September 19-21, 2018 : proceedings /
LDR:02041nam a2200373 a 4500 001 928403
003 DE-He213
005 20180829125730.0
006 m d
007 cr nn 008maaau
008 190626s2018 gw s 0 eng d
020 $a 9783319991306 $q (electronic bk.)
020 $a 9783319991290 $q (paper)
024 7 $a 10.1007/978-3-319-99130-6 $2 doi
035 $a 978-3-319-99130-6
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.9.A25
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.8 $2 23
090 $a QA76.9.A25 $b S128 2018
111 2 $a Workshop on the Preservation of Stability under Discretization $d (2001 : $c Fort Collins, Colo.) $3 527686
245 1 0 $a Computer safety, reliability, and security $h [electronic resource] : $b 37th International Conference, SAFECOMP 2018, Vasteras, Sweden, September 19-21, 2018 : proceedings / $c edited by Barbara Gallina, Amund Skavhaug, Friedemann Bitsch.
246 3 $a SAFECOMP 2018
260 $a Cham : $c 2018. $b Springer International Publishing : $b Imprint: Springer,
300 $a xxi, 312 p. : $b ill., digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 11093
490 1 $a Programming and software engineering
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 Vasteras, 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 security $v Congresses. $3 574522 $3 727780
650 0 $a Computer organization $3 1115391
650 0 $a Software engineering $v Congresses. $3 528500
650 0 $a Programming languages (Electronic computers) $3 596941
650 0 $a Computer logic $v Congresses. $3 784003
650 0 $a Application software $x Security measures $v Congresses. $3 1208316
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. $3 1208315
700 1 $a Skavhaug, Amund. $3 1112411
700 1 $a Bitsch, Friedemann. $3 1078146
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer eBooks
830 0 $a Lecture notes in computer science ; $v 6140. $3 744199
830 0 $a Programming and software engineering. $3 1208283
856 4 0 $u https://doi.org/10.1007/978-3-319-99130-6
950 $a Computer Science (Springer-11645)