Computer Safety, Reliability, and Security
Springer International Publishing (Verlag)
978-3-319-45479-5 (ISBN)
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.
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.
Erscheinungsdatum | 08.10.2016 |
---|---|
Reihe/Serie | Lecture Notes in Computer Science | Programming and Software Engineering |
Zusatzinfo | XIV, 400 p. 130 illus. |
Verlagsort | Cham |
Sprache | englisch |
Maße | 155 x 235 mm |
Themenwelt | Mathematik / Informatik ► Informatik ► Software Entwicklung |
Mathematik / Informatik ► Informatik ► Theorie / Studium | |
Schlagworte | Applications • authentication • Autonomous Agents • Computer architecture and logic design • Computer programming / software engineering • Computer Science • conference proceedings • confidence constraints • Cooperative Systems • Cyber-Physical Systems • cybersecurity • Dependability • disaster management • Embedded Systems • fault-tolerant system • Informatics • internet of things • Logics and meanings of programs • Model-Based • Quality of Service • Real-Time System • Reliability • Research • Safety-Critical Systems • Simulation • System Architecture • systems modeling • verification |
ISBN-10 | 3-319-45479-X / 331945479X |
ISBN-13 | 978-3-319-45479-5 / 9783319454795 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich