Overview
This book constitutes the refereed proceedings of the 36th International Conference on ComputerThe 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.
The book, Computer Safety, Reliability, and Security: 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings (Lecture Notes in Computer Science #10488) [Bulk, Wholesale, Quantity] ISBN#9783319662657 in Paperback by may be ordered in bulk quantities. Minimum starts at 25 copies. Availability based on publisher status and quantity being ordered.
Details