Computer Safety, Reliability, and Security : SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 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 ; 10489
Materias:	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.

Tabla de Contenidos:

Assurance cases for Software-Intensive Systems.- Dependable embedded and cyber-physical systems and systems-of-systems
Next generation of system assurance approaches for safety-critical systems
Timing performance in safety engineering
Technical and legal aspects of data privacy and security.

Ejemplares similares