Go to main content

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

SAFECOMP (Conference) (33rd : 2014 : Florence, Italy); Bondavalli, Andrea, editor.; Di Giandomenico, Felicita, 1960- editor.
2014
QA76.9.A25
Available Online
Formats
Format
BibTeX
MARCXML
TextMARC
MARC
DublinCore
EndNote
NLM
RefWorks
RIS
Add to Basket

Linked e-resources

Linked Resource
Online Access

Details

Title
Computer safety, reliability, and security [electronic resource] : 33rd International Conference, SAFECOMP 2014, Florence, Italy, September 10-12, 2014, proceedings / Andrea Bondavalli, Felicita Di Giandomenico (Eds.).
Meeting Name
SAFECOMP (Conference) (33rd : 2014 : Florence, Italy)
ISBN
9783319105062 electronic book
331910506X electronic book
9783319105055
Published
Cham : Springer, [2014]
Copyright
©2014
Language
English
Description
1 online resource (xxiii, 356 pages) : illustrations.
Call Number
QA76.9.A25
Dewey Decimal Classification
005.8
Note
International conference proceedings.
Includes author index.
Access Note
Access limited to authorized users.
Source of Description
Description based on online resource; title from PDF title page (SpringerLink, viewed Sep. 15, 2014).
Added Author
Bondavalli, Andrea, editor.
Di Giandomenico, Felicita, 1960- editor.
Series
Lecture notes in computer science ; 8666.
LNCS sublibrary. SL 2, Programming and software engineering.
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
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.

Browse Subjects

Show more subjects...

Statistics

from
to
Export