Computer Safety, Reliability, and Security

37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings

Nonfiction, Computers, Advanced Computing, Programming, Expert Systems, General Computing
Cover of the book Computer Safety, Reliability, and Security by , Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9783319991306
Publisher: Springer International Publishing Publication: September 3, 2018
Imprint: Springer Language: English
Author:
ISBN: 9783319991306
Publisher: Springer International Publishing
Publication: September 3, 2018
Imprint: Springer
Language: English

This book constitutes the refereed proceedings of the 37th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2018, held in Västerås, Sweden, in September 2018.

The 19 revised full papers and 1 short paper presented together with three abstracts of keynotes were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections on Automotive Safety Standards and Cross-domain Reuse Potential; Autonomous Driving and Safety Analysis; Verification; Multi-concern Assurance; Fault Tolerance; and Safety and Security Risk.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

This book constitutes the refereed proceedings of the 37th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2018, held in Västerås, Sweden, in September 2018.

The 19 revised full papers and 1 short paper presented together with three abstracts of keynotes were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections on Automotive Safety Standards and Cross-domain Reuse Potential; Autonomous Driving and Safety Analysis; Verification; Multi-concern Assurance; Fault Tolerance; and Safety and Security Risk.

More books from Springer International Publishing

Cover of the book Surfaces and Interfaces in Natural Fibre Reinforced Composites by
Cover of the book Evolutionary Computation in Combinatorial Optimization by
Cover of the book Signaling-Mediated Control of Cell Division by
Cover of the book Dynamical Systems with Applications using MATLAB® by
Cover of the book Mesenchymal Stem Cells and Immunomodulation by
Cover of the book An Information Technology Framework for Predictive, Preventive and Personalised Medicine by
Cover of the book Crisis of Legitimacy and Political Violence in Uganda, 1979 to 2016 by
Cover of the book Defending Culture by
Cover of the book The Interstellar Medium, Expanding Nebulae and Triggered Star Formation by
Cover of the book Ultra Low Noise CMOS Image Sensors by
Cover of the book Applied Computing and Information Technology by
Cover of the book Ramanujan Summation of Divergent Series by
Cover of the book Controllability and Stabilization of Parabolic Equations by
Cover of the book Revisiting EFL Assessment by
Cover of the book Universal Biology after Aristotle, Kant, and Hegel by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy