Vorliegende Sprache |
eng |
ISBN |
978-3-319-66283-1 |
Name |
Schoitsch, Erwin ¬[Hrsg.]¬ |
Bitsch, Friedemann ¬[Hrsg.]¬ |
Name ANZEIGE DER KETTE |
Bitsch, Friedemann ¬[Hrsg.]¬ |
Name |
Tonetta, Stefano ¬[Hrsg.]¬ |
T I T E L |
Computer Safety, Reliability, and Security |
Zusatz zum Titel |
SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings |
Verlagsort |
Cham |
Verlag |
Springer |
Erscheinungsjahr |
2017 |
2017 |
Umfang |
Online-Ressource (XIV, 478 p. 138 illus, online resource) |
Reihe |
Lecture Notes in Computer Science ; 10489 |
Lecture notes in computer science |
Band |
10489 |
Titelhinweis |
Druckausg.ISBN: 978-3-319-66283-1 |
Printed editionISBN: 978-3-319-66283-1 |
ISBN |
ISBN 978-3-319-66284-8 |
Klassifikation |
UM |
UYF |
COM036000 |
COM051000 |
UYA |
005.1015113 |
004.0151 |
QA76.9.L63 |
QA76.5913 |
QA76.63 |
Kurzbeschreibung |
This book constitutes the refereed proceedings of five workshops co-located with SAFECOMP 2017, the 36th International Conference on Computer Safety, Reliability, and Security, held in Trento, Italy, in September 2017. The 38 revised full papers presented together with 5 introductory papers to each workshop, and three invited papers, were carefully reviewed and selected from 49 submissions. This year's workshops are: ASSURE 2017 - Assurance Cases for Software-Intensive Systems; DECSoS 2017 - ERCIM/EWICS/ARTEMIS Dependable Embedded and Cyber-Physical Systems and Systems-of-Systems; SASSUR 2017 - Next Generation of System Assurance Approaches for Safety-Critical Systems; TIPS 2017 - Timing Performance in Safety Engineering; TELERISE 2017 Technical and legal Aspects of Data Privacy and Security |
2. Kurzbeschreibung |
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 |
1. Schlagwortkette |
Software |
Zuverlässigkeit |
Formale Methode |
ANZEIGE DER KETTE |
Software -- Zuverlässigkeit -- Formale Methode |
SWB-Titel-Idn |
494011300 |
Signatur |
Springer E-Book |
Bemerkungen |
Elektronischer Volltext - Campuslizenz |
Elektronische Adresse |
$uhttp://dx.doi.org/10.1007/978-3-319-66284-8 |
Internetseite / Link |
Volltext |