Computer Safety, Reliability, and Security
Springer International Publishing (Verlag)
9783319662831 (ISBN)
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.
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.
| Erscheinungsdatum | 31.10.2017 |
|---|---|
| Reihe/Serie | Lecture Notes in Computer Science | Programming and Software Engineering |
| Zusatzinfo | XIV, 478 p. 138 illus. |
| Verlagsort | Cham |
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Gewicht | 738 g |
| Themenwelt | Mathematik / Informatik ► Informatik ► Theorie / Studium |
| Schlagworte | Applications • architecture-driven assurance of safety and securi • architecture-driven assurance of safety and security • compositional verification and certification • computer architecture & logic design • Computer architecture & logic design • Computer programming / software engineering • Computer Science • conference proceedings • cyber-physical threats and vulmerabitlity analysis • cyber-physical threats and vulnerability analysis • Dependability analysis • design and assessment • distributed and real-time monitoring and control • fault detection and recovery • fault-tolerant hardware and software architectures • formal methods • Informatics • Informatik • in-the-loop and model-based testing • Logics and meanings of programs • mechanisms • methods for qualification, assurance and certifica • methods for qualification, assurance and certification • methods for qualification, assurance and certification • Model-based analysis • multi-concern dependability assurance and standard • multi-concern dependability assurance and standardization • probabilistic verification and validation • Research • safety and security cases • safety/security risk assessment • security and privacy protection mechanisms • validation and verification methodologies and tool • validation and verification methodologies and tools |
| ISBN-13 | 9783319662831 / 9783319662831 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich
