Coverart for item
The Resource Computer safety, reliability, and security : 33rd International Conference, SAFECOMP 2014, Florence, Italy, September 10-12, 2014, proceedings, Andrea Bondavalli, Felicita Di Giandomenico (Eds.)

Computer safety, reliability, and security : 33rd International Conference, SAFECOMP 2014, Florence, Italy, September 10-12, 2014, proceedings, Andrea Bondavalli, Felicita Di Giandomenico (Eds.)

Label
Computer safety, reliability, and security : 33rd International Conference, SAFECOMP 2014, Florence, Italy, September 10-12, 2014, proceedings
Title
Computer safety, reliability, and security
Title remainder
33rd International Conference, SAFECOMP 2014, Florence, Italy, September 10-12, 2014, proceedings
Statement of responsibility
Andrea Bondavalli, Felicita Di Giandomenico (Eds.)
Title variation
SAFECOMP 2014
Creator
Contributor
Editor
Subject
Genre
Language
eng
Summary
This book constitutes the refereed proceedings of the 33nd International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2014, held in Florence, Italy, in September 2014. The 20 revised full papers presented together with 3 practical experience reports were carefully reviewed and selected from 85 submissions. The papers are organized in topical sections on fault injection techniques, verification and validation techniques, automotive systems, coverage models and mitigation techniques, assurance cases and arguments, system analysis, security and trust, notations/languages for safety related aspects, safety and security
Member of
Cataloging source
GW5XE
Dewey number
005.8
Illustrations
illustrations
Index
index present
LC call number
QA76.9.A25
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2014
http://bibfra.me/vocab/lite/meetingName
SAFECOMP (Conference)
Nature of contents
dictionaries
http://library.link/vocab/relatedWorkOrContributorDate
1960-
http://library.link/vocab/relatedWorkOrContributorName
  • Bondavalli, Andrea
  • Di Giandomenico, Felicita
Series statement
  • Lecture notes in computer science
  • LNCS sublibrary. SL 2, Programming and software engineering
Series volume
8666
http://library.link/vocab/subjectName
  • Computer security
  • Computer systems
  • Computer security
  • Computer systems
Label
Computer safety, reliability, and security : 33rd International Conference, SAFECOMP 2014, Florence, Italy, September 10-12, 2014, proceedings, Andrea Bondavalli, Felicita Di Giandomenico (Eds.)
Instantiates
Publication
Copyright
Note
  • International conference proceedings
  • Includes author index
Antecedent source
file reproduced from an electronic resource
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
black and white
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Verification & Validation Techniques -- Automotive Systems -- Coverage Models and Mitigation Techniques -- Assurance cases and arguments -- System Analysis -- Security and Trust -- Notations/Languages for Safety-related aspects -- Safety and Security
Control code
890600881
Dimensions
unknown
Extent
1 online resource (xxiii, 356 pages)
File format
one file format
Form of item
online
Isbn
9783319105062
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-319-10506-2
Other physical details
illustrations
Quality assurance targets
not applicable
Reformatting quality
unknown
Specific material designation
remote
System control number
(OCoLC)890600881
Label
Computer safety, reliability, and security : 33rd International Conference, SAFECOMP 2014, Florence, Italy, September 10-12, 2014, proceedings, Andrea Bondavalli, Felicita Di Giandomenico (Eds.)
Publication
Copyright
Note
  • International conference proceedings
  • Includes author index
Antecedent source
file reproduced from an electronic resource
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
black and white
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Verification & Validation Techniques -- Automotive Systems -- Coverage Models and Mitigation Techniques -- Assurance cases and arguments -- System Analysis -- Security and Trust -- Notations/Languages for Safety-related aspects -- Safety and Security
Control code
890600881
Dimensions
unknown
Extent
1 online resource (xxiii, 356 pages)
File format
one file format
Form of item
online
Isbn
9783319105062
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-319-10506-2
Other physical details
illustrations
Quality assurance targets
not applicable
Reformatting quality
unknown
Specific material designation
remote
System control number
(OCoLC)890600881

Library Locations

    • Thomas Jefferson LibraryBorrow it
      1 University Blvd, St. Louis, MO, 63121, US
      38.710138 -90.311107
Processing Feedback ...