Computer Safety, Reliability, and Security
Produktnummer:
18ad2d02bf48fb4c00acc34131797c5848
Themengebiete: | design and assessment distributed and real-time monitoring and control fault-tolerant hardware and software architectures fault detection and recovery formal methods mechanisms model-based analysis probabilistic verification and validation safety/security risk assessment security and privacy protection mechanisms |
---|---|
Veröffentlichungsdatum: | 17.08.2017 |
EAN: | 9783319662657 |
Sprache: | Englisch |
Seitenzahl: | 344 |
Produktart: | Kartoniert / Broschiert |
Herausgeber: | Bitsch, Friedemann Schoitsch, Erwin Tonetta, Stefano |
Verlag: | Springer International Publishing |
Untertitel: | 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings |
Produktinformationen "Computer Safety, Reliability, and Security"
This book constitutes the refereed proceedings of the 36th International Conference on ComputerSafety, 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.

Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen