Computer Safety, Reliability, and Security

Autor: Stefano Tonetta, Erwin Schoitsch, Friedemann Bitsch

Limbă:

Legare: Carte broșată

Editura: Springer International Publishing AG

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

277.38 lei

This book constitutes the refereed proceedings of the 36th International Conference on Computer Safe...

Informații despre carte

Autor

Stefano Tonetta, Erwin Schoitsch, Friedemann Bitsch

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2017

Pagini

344

EAN

9783319662657

ISBN

3319662651

Enbook ID

16771890

Editura

Springer International Publishing AG

Greutate

5504

Dimensiuni

155 x 235 x 22

Descriere completă

This book constitutes the refereed proceedings of the 36th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2017, held in Trento, Italy, in September 2017. The 22 revised full papers and two abstracts of keynotes presented were carefully reviewed and selected from 65 submissions. The 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.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și