Computer safety, reliability, and security : SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR and TIPS Trondheim, Norway, September 20, 2016, proceedings / Amund Skavhaug, Jérémie Guiochet, Erwin Schoitsch, Friedemann Bitsch (eds.).
Material type:
TextSeries: Lecture notes in computer science ; 9923. | LNCS sublibrary. SL 2, Programming and software engineering.Publisher: Switzerland : Springer, 2016Description: 1 online resourceContent type: - text
- computer
- online resource
- 9783319454801
- 3319454803
- ASSURE 2016
- DECSoS 2016
- SASSUR 2016
- TIPS 2016
- Computer security -- Congresses
- Computer systems -- Reliability -- Congresses
- Sécurité informatique -- Congrès
- Systèmes informatiques -- Fiabilité -- Congrès
- User interface design & usability
- Software Engineering
- Information technology: general issues
- Mathematical theory of computation
- Computer programming -- software development
- Computers -- Machine Theory
- Computers -- Software Development & Engineering -- General
- Computers -- Data Processing
- Mathematics -- Logic
- Computers -- Programming -- General
- Computer security
- Computer systems -- Reliability
- 005.8 23
- QA76.9.A25
| Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|
eBook
|
e-Library | eBook LNCS | Available |
International conference proceedings.
Includes author index.
Online resource; title from PDF title page (SpringerLink, viewed September 13, 2016).
SAFECOMP 2016 Workshops: ASSURE 2016 -- Assurance Cases for Software-intensive Systems -- DECSoS 2016 -- EWICS/ERCIM/ARTEMIS Dependable Cyber-physical Systems and Systems-of-Systems Workshop -- SASSUR 2016 -- Next Generation of System Assurance Approaches for Safety-Critical Systems -- TIPS 2016?Timing Performance in Safety Engineering.
This book constitutes the refereed proceedings of four workshops co-located with SAFECOMP 2016, the 35th International Conference on Computer Safety, Reliability, and Security, held in Trondheim, Norway, in September 2016. The 30 revised full papers presented together with 4 short and 5 invited papers were carefully reviewed and selected from numerous submissions. This year?s workshop are: ASSURE 2016 - Assurance Cases for Software-intensive Systems; DECSoS 2016 - EWICS/ERCIM/ARTEMIS Dependable Cyber-physical Systems and Systems-of-Systems Workshop; SASSUR 2016 - Next Generation of System Assurance Approaches for Safety-Critical Systems; and TIPS 2016? Timing Performance in Safety Engineering.