Computer Safety Reliability And Security 39th International Conference Safecomp 2020 Lisbon Portugal September 16-18 2020 Proceedings(1st Edition)
Authors:
Antonio Casimiro ,Frank Ortmeier ,Friedemann Bitsch ,Pedro Ferreira
In Stock
Include with your book
Free shipping: April 30, 2024Popular items with books
Total Price:
$0
Book details
ISBN: 3030545482, 978-3030545482
Book publisher: Springer
Computer Safety Reliability And Security 39th International Conference Safecomp 2020 Lisbon Portugal September 16-18 2020 Proceedings 1st Edition Summary: This book constitutes the proceedings of the 39th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2020, held in Lisbon, Portugal, in September 2020.*The 27 full and 2 short papers included in this volume were carefully reviewed and selected from 116 submissions. They were organized in topical sections named: safety cases and argumentation; formal verification and analysis; security modelling and methods; assurance of learning-enabled systems; practical experience and tools; threat analysis and risk mitigation; cyber-physical systems security; and fault injection and fault tolerance.*The conference was held virtually due to the COVID-19 pandemic.The chapter ‘Assurance Argument Elements for Off-the-Shelf, Complex Computational Hardware’ is available open access under an Open Government License 3.0 via link.springer.com.
Frequently Bought Together
Geometric Algebraic And Topological Methods For Quantum Field Theory Proceedings Of The 2011 Villa De Leyva Summer School - 1st Edition
Carolina Neira Jimenezhernan Ocamposylvie Paychaandres F Reyes Legaalexander Cardona
ISBN: 9814460044, 978-9814460040
$0 $145.00
150 Most Powerful Quotes By Maya Angelou A Timeless Collection Of Wisdom Inspiration And Powerful Quotes - 1st Edition
Maya Angelou
ISBN: B0CX51PGH1, 979-8883791603
$0 $6.99
Private Equity Demystified An Explanatory Guide - 4th Edition
John Gilligan
ISBN: 0198866992, 978-0198866992
$0 $43.95
Advanced Accounting - 12th edition
Paul M. Fischer
ISBN: 1305084853, 978-1305464803, 130546480X, 978-1305799448, 978-1305084858
$0 $47.96
How To Be A Successful Weight Management Coach A Step By Step Guide To Setting Up Your Business Getting Clients And Designing Specialised Weight Management Programmes - 1st Edition
Dr Julie Alexander Cooper
ISBN: B08TZ9M15T, 979-8597361055
$0 $13.72
Trust And Trustworthy Computing 7th International Conference Trust 2014 Heraklion Crete Greece June 30 July 2 2014 Proceedings - 1st Edition
Thorsten Holz
ISBN: 3319085921, 978-3319085920
$0 $54.99
Big Data And Security International Conference ICBDS 2022 Xiamen China December 8-12 2022 Proceedings - 1st Edition
Yuan Tian
ISBN: 9819932998, 978-9819932993
$0 $79.47