Wir verwenden Cookies und Analyse-Tools, um die Nutzerfreundlichkeit der Internet-Seite zu verbessern und für Marketingzwecke. Wenn Sie fortfahren, diese Seite zu verwenden, nehmen wir an, dass Sie damit einverstanden sind. Zur Datenschutzerklärung.
Computer Safety, Reliability, and Security
CHF 79.15
Auf Lager
SKU
OC70CEBVGN5
1 Verfügbar 
Geliefert zwischen Mo., 27.04.2026 und Di., 28.04.2026
Details
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.
Includes supplementary material: sn.pub/extras
Inhalt
Dynamic fault trees.- Safety case and argumentation.- Formal verification.- Autonomous systems.- Static analysis and testing.- Safety analysis and assessment.- Safety and security.
Weitere Informationen
- Allgemeine Informationen
- GTIN 09783319662657
- Genre Information Technology
- Auflage 1st ed. 2017
- Editor Stefano Tonetta, Erwin Schoitsch, Friedemann Bitsch
- Lesemotiv Verstehen
- Anzahl Seiten 344
- Größe H22mm x B156mm x T236mm
- Jahr 2017
- EAN 9783319662657
- Format Kartonierter Einband
- ISBN 978-3-319-66265-7
- Titel Computer Safety, Reliability, and Security
- Untertitel 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings
- Gewicht 572g
- Herausgeber Springer
- Sprache Englisch
Bewertungen
Schreiben Sie eine Bewertung
