Computer Safety, Reliability, and Security : 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings /

Computer Safety, Reliability, and Security : 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings /

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Tonetta, Stefano. (Editor), Schoitsch, Erwin. (Editor), Bitsch, Friedemann. (Editor)
Format: eBook
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2017.
Edition:1st ed. 2017.
Series:Programming and Software Engineering ; 10488
Subjects:
Computer logic.
Programming languages (Electronic computers).
Software engineering.
Computer security.
Application software.
Computer organization.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Software Engineering.
Systems and Data Security.
Computer Applications.
Computer Systems Organization and Communication Networks.
Table of Contents:
  • Dynamic fault trees
  • Safety case and argumentation
  • Formal verification
  • Autonomous systems
  • Static analysis and testing
  • Safety analysis and assessment
  • Safety and security.

Similar Items