Go to main content

Computer Safety, Reliability, and Security : 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings / edited by Stefano Tonetta, Erwin Schoitsch, Friedemann Bitsch.

Tonetta, Stefano. editor.; Schoitsch, Erwin. editor.; Bitsch, Friedemann. editor.
2017
QA76.63
Available Online
Formats
Format
BibTeX
MARCXML
TextMARC
MARC
DublinCore
EndNote
NLM
RefWorks
RIS
Add to Basket
Cite
Citation

Linked e-resources

Linked Resource
Online Access
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks

Details

Title
Computer Safety, Reliability, and Security : 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings / edited by Stefano Tonetta, Erwin Schoitsch, Friedemann Bitsch.
ISBN
9783319662664
331966266X
9783319662657
DOI
https://doi.org/10.1007/978-3-319-66266-4
Published
Cham : Springer International Publishing : Imprint: Springer, 2017.
Language
English
Description
1 online resource (xix, 344 pages) : illustrations.
Item Number
10.1007/978-3-319-66266-4 doi
Call Number
QA76.63
Dewey Decimal Classification
005.1015113
Access Note
Access limited to authorized users.
Digital File Characteristics
text file PDF
Added Author
Tonetta, Stefano. editor.
Schoitsch, Erwin. editor.
Bitsch, Friedemann. editor.
Series
Lecture Notes in Computer Science ; 10488.
Available in Other Form
Print version: 9783319662657
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
Dynamic fault trees
Safety case and argumentation
Formal verification
Autonomous systems
Static analysis and testing
Safety analysis and assessment
Safety and security.

Browse Subjects

Show more subjects...

Statistics

from
to
Export