Amazon cover image
Image from Amazon.com
Image from Google Jackets

Model-Based Safety and Assessment [electronic resource] : 5th International Symposium, IMBSA 2017, Trento, Italy, September 11–13, 2017, Proceedings / edited by Marco Bozzano, Yiannis Papadopoulos.

Contributor(s): Material type: TextTextSeries: Programming and Software Engineering ; 10437 | Lecture Notes in Computer Science ; 10437Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Edition: 1st ed. 2017Description: X, 273 p. 109 illus. online resourceContent type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9783319641195
Subject(s): Additional physical formats: Printed edition:: No title; Printed edition:: No titleDDC classification:
  • 005.1015113 23
LOC classification:
  • QA76.9.L63
  • QA76.5913
Online resources:
Contents:
Safety process -- Safety models and languages -- Fault detection and propagation -- Safety assessment in the automotive domain -- Case studies.
In: Springer Nature eBookSummary: This book constitutes the proceedings of the 5th International Symposium on Model-Based Safety and Assessment, IMBSA 2017, held in Trento, Italy, in September 2017. The 17 revised full papers presented were carefully reviewed and selected from 29 initial submissions. The papers are organized in topical sections on safety process; safety models and languages; fault detection and propagation; safety assessment in the automotive domain; and case studies.
Item type: E-BOOKS
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Home library Call number Materials specified URL Status Date due Barcode
IMSc Library Link to resource Available EBK14980

Safety process -- Safety models and languages -- Fault detection and propagation -- Safety assessment in the automotive domain -- Case studies.

This book constitutes the proceedings of the 5th International Symposium on Model-Based Safety and Assessment, IMBSA 2017, held in Trento, Italy, in September 2017. The 17 revised full papers presented were carefully reviewed and selected from 29 initial submissions. The papers are organized in topical sections on safety process; safety models and languages; fault detection and propagation; safety assessment in the automotive domain; and case studies.

There are no comments on this title.

to post a comment.
The Institute of Mathematical Sciences, Chennai, India