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

Detalles Bibliográficos
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Tonetta, Stefano. (Editor ), Schoitsch, Erwin. (Editor ), Bitsch, Friedemann. (Editor )
Formato: eBook
Lenguaje:English
Publicado: Cham : Springer International Publishing : Imprint: Springer, 2017.
Edición:1st ed. 2017.
Colección:Programming and Software Engineering ; 10488
Materias:
Tabla de Contenidos:
  • Dynamic fault trees
  • Safety case and argumentation
  • Formal verification
  • Autonomous systems
  • Static analysis and testing
  • Safety analysis and assessment
  • Safety and security.