Computer Safety, Reliability, and Security - 34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings

This book constitutes the refereed proceedings of the 34th InternationalConference on Computer Safety, Reliability, and Security, SAFECOMP 2015, held inDelft, The Netherlands, in September 2014. The 32 revised full papers presentedtogether with 3 invited talks were carefully reviewed andselected from 104 submissions. The papers are organized in topical sections onflight systems, automotive embedded systems, automotive software, error detection, medical safety cases, medical systems, architecture and testing, safety cases, security attacks, cyber security and integration, and programming and compiling.

Product details

• Assisted by: Coen van Gulijk (Editor), Floor Koornneef (Editor), Coen van Gulijk (Editor)
• Publisher: Springer, Berlin
• Languages: English
• Product format: Paperback / Softback
• Released: 26.11.2015
• EAN: 9783319242545
• ISBN: 978-3-31-924254-5
• No. of pages: 486
• Dimensions: 158 mm x 234 mm x 27 mm
• Weight: 762 g
• Illustrations: XXII, 486 p. 141 illus. in color.
• Series: Lecture Notes in Computer Science; Programming and Software Engineering
• Subjects: Natural sciences, medicine, IT, technology > IT, data processing > IT; Computersicherheit, C, Computerhardware, Netzwerksicherheit, Software Engineering, angewandte informatik, Compiler und Übersetzer, computer science, Systems and Data Security, Data and Information Security, Computer Applications, Logics and Meanings of Programs, Computer and Information Systems Applications, Application software, Programming Languages, Compilers, Interpreters, Network Security, Computer security, Information technology: general issues, Computer Engineering and Networks, Computer Systems Organization and Communication Networks, Computer organization, Computer architecture & logic design, Programming & scripting languages: general, Compilers & interpreters, Programming languages (Electronic computers), Computer networking & communications, Computer logic, Computer Science Logic and Foundations of Programming, Compilers and Interpreters