| 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 |
