Franklin

Computer Safety, Reliability, and Security : SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings / edited by Amund Skavhaug, Jérémie Guiochet, Erwin Schoitsch, Friedemann Bitsch.

Publication:
Cham : Springer International Publishing : Imprint: Springer, 2016.
Format/Description:
Book
1 online resource (XIV, 400 pages) : 130 illustrations
Edition:
1st ed. 2016.
Series:
Computer Science (Springer-11645)
LNCS sublibrary. Programming and software engineering SL 2, 9923
Programming and Software Engineering ; 9923
Contained In:
Springer eBooks
Status/Location:
Loading...

Options
Location Notes Your Loan Policy

Details

Subjects:
Computer logic.
Computers.
Software engineering.
Application software.
Logic, Symbolic and mathematical.
Local subjects:
Logics and Meanings of Programs. (search)
Computation by Abstract Devices. (search)
Software Engineering. (search)
Computer Applications. (search)
Mathematical Logic and Formal Languages. (search)
System Details:
text file PDF
Summary:
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.
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.
Contributor:
Skavhaug, Amund. editor., Editor,
Guiochet, Jérémie, editor., Editor,
Schoitsch, Erwin, editor., Editor,
Bitsch, Friedemann, editor., Editor,
SpringerLink (Online service)
Other format:
Printed edition:
Printed edition:
ISBN:
978-3-319-45480-1
9783319454801
Publisher Number:
10.1007/978-3-319-45480-1 doi
Access Restriction:
Restricted for use by site license.