Computer safety, reliability, and security : SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR and TIPS Trondheim, Norway, September 20, 2016, proceedings /: SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR and TIPS Trondheim, Norway, September 20, 2016, proceedings. (2016)
- Record Type:
- Book
- Title:
- Computer safety, reliability, and security : SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR and TIPS Trondheim, Norway, September 20, 2016, proceedings /: SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR and TIPS Trondheim, Norway, September 20, 2016, proceedings. (2016)
- Main Title:
- Computer safety, reliability, and security : SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR and TIPS Trondheim, Norway, September 20, 2016, proceedings
- Other Titles:
- ASSURE 2016
DECSoS 2016
SASSUR 2016
TIPS 2016 - Further Information:
- Note: Amund Skavhaug, Jérémie Guiochet, Erwin Schoitsch, Friedemann Bitsch (eds.).
- Editors:
- Skavhaug, Amund
Guiochet, Jérémie
Schoitsch, Erwin
Bitsch, Friedemann - Other Names:
- SAFECOMP (Conference), 35th
International Workshop on Assurance Cases for Software-Intensive Systems, 4th
DECSoS (Workshop)
SASSUR (Workshop), 5th
TIPS (Workshop), 1st - Contents:
- 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.
- Publisher Details:
- Switzerland : Springer
- Publication Date:
- 2016
- Extent:
- 1 online resource
- Subjects:
- 005.8
Computer science
Computer security -- Congresses
Computer systems -- Reliability -- Congresses
Computer security
Computer systems -- Reliability
Computers -- Machine Theory
Computers -- Software Development & Engineering -- General
Computers -- Data Processing
Mathematics -- Logic
User interface design & usability
Software Engineering
Information technology: general issues
Mathematical theory of computation
Logic design
Software engineering
Computers -- Programming -- General
Computer programming / software development
Electronic books
Conference papers and proceedings - Languages:
- English
- ISBNs:
- 9783319454801
3319454803 - Related ISBNs:
- 9783319454795
3319454765
9783319454764 - Notes:
- Note: Online resource; title from PDF title page (SpringerLink, viewed September 13, 2016).
- Access Rights:
- Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
- Access Usage:
- Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD.DS.356657
- Ingest File:
- 01_317.xml