Nur jetzt: Über 2000 englischsprachige Springer Protocols für je nur 9,99€!

Programming and Software Engineering

Computer Safety, Reliability, and Security

SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings

Herausgeber: Skavhaug, A., Guiochet, J., Schoitsch, E., Bitsch, F. (Eds.)

Dieses Buch kaufen

eBook 55,92 €
Preis für Deutschland (Brutto)
  • ISBN 978-3-319-45480-1
  • Versehen mit digitalem Wasserzeichen, DRM-frei
  • Erhältliche Formate: PDF, EPUB
  • eBooks sind auf allen Endgeräten nutzbar
  • Sofortiger eBook Download nach Kauf
Softcover 70,62 €
Preis für Deutschland (Brutto)
  • ISBN 978-3-319-45479-5
  • Kostenfreier Versand für Individualkunden weltweit
  • Gewöhnlich versandfertig in 3-5 Werktagen.
Über dieses Buch

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.

Inhaltsverzeichnis (30 Kapitel)

  • The Agile Safety Case

    Stålhane, Tor (et al.)

    Seiten 5-16

  • Systematic Maintenance of Safety Cases to Reduce Risk

    Jaradat, Omar (et al.)

    Seiten 17-29

  • On Using Results of Code-Level Bounded Model Checking in Assurance Cases

    Cârlan, Carmen (et al.)

    Seiten 30-42

  • Configuration-Aware Contracts

    Sljivo, Irfan (et al.)

    Seiten 43-54

  • Developing SNS Tool for Consensus Building on Environmental Safety Using Assurance Cases

    Matsuno, Yutaka (et al.)

    Seiten 55-62

Dieses Buch kaufen

eBook 55,92 €
Preis für Deutschland (Brutto)
  • ISBN 978-3-319-45480-1
  • Versehen mit digitalem Wasserzeichen, DRM-frei
  • Erhältliche Formate: PDF, EPUB
  • eBooks sind auf allen Endgeräten nutzbar
  • Sofortiger eBook Download nach Kauf
Softcover 70,62 €
Preis für Deutschland (Brutto)
  • ISBN 978-3-319-45479-5
  • Kostenfreier Versand für Individualkunden weltweit
  • Gewöhnlich versandfertig in 3-5 Werktagen.
Loading...

Wir empfehlen

Loading...

Bibliografische Information

Bibliographic Information
Buchtitel
Computer Safety, Reliability, and Security
Buchuntertitel
SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings
Herausgeber
  • Amund Skavhaug
  • Jérémie Guiochet
  • Erwin Schoitsch
  • Friedemann Bitsch
Titel der Buchreihe
Programming and Software Engineering
Buchreihen Band
9923
Copyright
2016
Verlag
Springer International Publishing
Copyright Inhaber
Springer International Publishing Switzerland
eBook ISBN
978-3-319-45480-1
DOI
10.1007/978-3-319-45480-1
Softcover ISBN
978-3-319-45479-5
Auflage
1
Seitenzahl
XIV, 400
Anzahl der Bilder und Tabellen
130 schwarz-weiß Abbildungen
Themen