Cover Image
Read Now

Computer Safety, Reliability, and Security 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings

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...

Full description

Bibliographic Details
Other Authors: Tonetta, Stefano (Editor), Schoitsch, Erwin (Editor), Bitsch, Friedemann (Editor)
Format: eBook
Language:English
Published: Cham Springer International Publishing 2017, 2017
Edition:1st ed. 2017
Series:Programming and Software Engineering
Subjects:
Compilers (computer Programs)
Computer Science Logic And Foundations Of Programming
Compilers And Interpreters
Software Engineering
Computer Science
Application Software
Computer Networks 
Computer Engineering And Networks
Data Protection
Computer Engineering
Computer And Information Systems Applications
Data And Information Security
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
Description
Summary: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
Physical Description:XIX, 344 p. 107 illus online resource
ISBN:9783319662664

Similar Items