Computer Safety, Reliability, and Security SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings
tarafından
Skavhaug, Amund. editor.
Başlık
:
Computer Safety, Reliability, and Security SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings
Yazar
:
Skavhaug, Amund. editor.
ISBN
:
9783319454801
Fiziksel Niteleme
:
XIV, 400 p. 130 illus. online resource.
Seri
:
Lecture Notes in Computer Science, 9923
İçindekiler
:
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.
Özet
:
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.
Konu Başlığı
:
Computer science.
Software engineering.
Computers.
Computer logic.
Mathematical logic.
Application software.
Logics and Meanings of Programs.
Computation by Abstract Devices.
Computer Applications.
Mathematical Logic and Formal Languages.
Yazar Ek Girişi
:
Skavhaug, Amund.
Guiochet, Jérémie.
Schoitsch, Erwin.
Bitsch, Friedemann.
Ek Kurum Yazar
:
SpringerLink (Online service)
Elektronik Erişim
:
Materyal Türü | Barkod | Yer Numarası | Durumu/İade Tarihi |
---|
Electronic Book | 18329-1001 | QA76.9 .L63 | Springer E-Book Collection |