This book constitutes the refereed proceedings of the 36th International Conference on ComputerSafety, 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.
| ISBN: | 9783319662657 |
| Publication date: | 17th August 2017 |
| Author: | Stefano Tonetta |
| Publisher: | Springer International Publishing AG |
| Format: | Paperback |
| Pagination: | 344 pages |
| Series: | Programming and Software Engineering |
| Genres: |
Computer security Computer networking and communications |
This book constitutes the refereed proceedings of the 36th International Conference on ComputerSafety, 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.
Computer Safety, Reliability, and Security features in the following genres: Computer security, Computer networking and communications
Paperback. £40.49, down from the £44.99 cover price. Not Available.
Computer Safety, Reliability, and Security was written by Stefano Tonetta and published by Springer International Publishing AG
Computer Safety, Reliability, and Security has 344 pages
Yes it is part of Programming and Software Engineering series
£40.49, reduced from £44.99. Not Available.