HOME > Detail View

Detail View

Computer safety, reliability, and security [electronic resource] : 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings

Computer safety, reliability, and security [electronic resource] : 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings

Material type
E-Book(소장)
Personal Author
Tonetta, Stefano.
Title Statement
Computer safety, reliability, and security [electronic resource] : 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings / Stefano Tonetta, Erwin Schoitsch, Friedemann Bitsch, editors.
Publication, Distribution, etc
Cham :   Springer,   c2017.  
Physical Medium
1 online resource (xix, 344 p.) : ill.
Series Statement
Programming and Software Engineering ;10488
ISBN
9783319662657 9783319662664 (e-book)
요약
This book constitutes the refereed proceedings of the 36th International Conference  on Computer Safety, Reliability, and Security, SAFECOMP 2017, held in Trento, Italy, in September 2017. The 22 revised full papers and two abstracts of keynotes presented  were carefully reviewed  and selected from 65 submissions. The papers are organized in topical sections on dynamic fault trees; safety case and argumentation; formal verification; autonomous systems; static analysis and testing; safety analysis and assessment; safety and security.
General Note
Title from e-Book title page.  
Content Notes
Dynamic fault trees -- Safety case and argumentation -- Formal verification -- Autonomous systems -- Static analysis and testing -- Safety analysis and assessment -- Safety and security.
Bibliography, Etc. Note
Includes bibliographical references and index.
이용가능한 다른형태자료
Issued also as a book.  
Subject Added Entry-Topical Term
Computer science. Computer organization. Software engineering. Programming languages (Electronic computers). Computer security. Computer logic. Application software.
Short cut
URL
000 00000cam u2200205 a 4500
001 000045989999
005 20190725160424
006 m d
007 cr
008 190708s2017 sz a ob 101 0 eng d
020 ▼a 9783319662657
020 ▼a 9783319662664 (e-book)
040 ▼a 211009 ▼c 211009 ▼d 211009
050 4 ▼a QA76.9.L63
082 0 4 ▼a 005.1015113 ▼2 23
084 ▼a 005.1015113 ▼2 DDCK
090 ▼a 005.1015113
245 0 0 ▼a Computer safety, reliability, and security ▼h [electronic resource] : ▼b 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings / ▼c Stefano Tonetta, Erwin Schoitsch, Friedemann Bitsch, editors.
260 ▼a Cham : ▼b Springer, ▼c c2017.
300 ▼a 1 online resource (xix, 344 p.) : ▼b ill.
490 1 ▼a Programming and Software Engineering ; ▼v 10488
500 ▼a Title from e-Book title page.
504 ▼a Includes bibliographical references and index.
505 0 ▼a Dynamic fault trees -- Safety case and argumentation -- Formal verification -- Autonomous systems -- Static analysis and testing -- Safety analysis and assessment -- Safety and security.
520 ▼a This book constitutes the refereed proceedings of the 36th International Conference  on Computer Safety, Reliability, and Security, SAFECOMP 2017, held in Trento, Italy, in September 2017. The 22 revised full papers and two abstracts of keynotes presented  were carefully reviewed  and selected from 65 submissions. The papers are organized in topical sections on dynamic fault trees; safety case and argumentation; formal verification; autonomous systems; static analysis and testing; safety analysis and assessment; safety and security.
530 ▼a Issued also as a book.
538 ▼a Mode of access: World Wide Web.
650 0 ▼a Computer science.
650 0 ▼a Computer organization.
650 0 ▼a Software engineering.
650 0 ▼a Programming languages (Electronic computers).
650 0 ▼a Computer security.
650 0 ▼a Computer logic.
650 0 ▼a Application software.
700 1 ▼a Tonetta, Stefano.
830 0 ▼a Programming and Software Engineering ; ▼v 10488.
856 4 0 ▼u https://oca.korea.ac.kr/link.n2s?url=https://doi.org/10.1007/978-3-319-66266-4
945 ▼a KLPA
991 ▼a E-Book(소장)

Holdings Information

No. Location Call Number Accession No. Availability Due Date Make a Reservation Service
No. 1 Location Main Library/e-Book Collection/ Call Number CR 005.1015113 Accession No. E14015541 Availability Loan can not(reference room) Due Date Make a Reservation Service M

Contents information

Table of Contents

·Dynamic fault trees
·Safety case and argumentation
·Formal verification
·Autonomous systems
·Static analysis and testing
·Safety analysis and assessment
·Safety and security.

New Arrivals Books in Related Fields

Zumstein, Felix (2022)