Computer Safety, Reliability, and Security

SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings

Nonfiction, Computers, Computer Hardware, Input-Output Equipment, General Computing, Programming
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: 9783319992297
Publisher: Springer International Publishing Publication: September 3, 2018
Imprint: Springer Language: English
Author:
ISBN: 9783319992297
Publisher: Springer International Publishing
Publication: September 3, 2018
Imprint: Springer
Language: English

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

The 28 revised full papers and 21 short papers presented together with 5 introductory papers to each workshop were carefully reviewed and selected from 73 submissions. This year's workshops are: ASSURE 2018 – Assurance Cases for Software-Intensive Systems; DECSoS 2018 – ERCIM/EWICS/ARTEMIS Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems; SASSUR 2018 – Next Generation of System Assurance Approaches for Safety-Critical Systems; STRIVE 2018 – Safety, securiTy, and pRivacy In automotiVe systEms; and WAISE 2018 – Artificial Intelligence Safety Engineering.

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 five workshops co-located with SAFECOMP 2018, the 37th International Conference on Computer Safety, Reliability, and Security, held in Västerås, Sweden, in September 2018.

The 28 revised full papers and 21 short papers presented together with 5 introductory papers to each workshop were carefully reviewed and selected from 73 submissions. This year's workshops are: ASSURE 2018 – Assurance Cases for Software-Intensive Systems; DECSoS 2018 – ERCIM/EWICS/ARTEMIS Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems; SASSUR 2018 – Next Generation of System Assurance Approaches for Safety-Critical Systems; STRIVE 2018 – Safety, securiTy, and pRivacy In automotiVe systEms; and WAISE 2018 – Artificial Intelligence Safety Engineering.

More books from Springer International Publishing

Cover of the book Astro-Imaging Projects for Amateur Astronomers by
Cover of the book The Long-Term Fate of Invasive Species by
Cover of the book Railway Photographic Advertising in Britain, 1900-1939 by
Cover of the book Design and Society: Social Issues in Technological Design by
Cover of the book Berichte zu Pflanzenschutzmitteln 2014 by
Cover of the book Computer Vision – ECCV 2018 Workshops by
Cover of the book Systemic Thinking by
Cover of the book A Sustainable Bioeconomy by
Cover of the book Protein Homology Detection Through Alignment of Markov Random Fields by
Cover of the book Physiological Computing Systems by
Cover of the book Transport Development Challenges in the Twenty-First Century by
Cover of the book Generalized Models and Non-classical Approaches in Complex Materials 2 by
Cover of the book Nietzsche’s Culture War by
Cover of the book Virtualization Techniques for Mobile Systems by
Cover of the book Cosmology Beyond Einstein 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