Related Books
Language: en
Pages: 220
Pages: 220
Type: BOOK - Published: 2017-02-23 - Publisher: Cuvillier Verlag
Software safety is a crucial aspect during the development of modern safety-critical systems. However, safety is a system level property, and therefore, must be
Language: en
Pages:
Pages:
Type: BOOK - Published: 2015 - Publisher:
Language: en
Pages: 555
Pages: 555
Type: BOOK - Published: 2012-01-13 - Publisher: MIT Press
A new approach to safety, based on systems thinking, that is more effective, less costly, and easier to use than current techniques. Engineering has experienced
Language: en
Pages: 386
Pages: 386
Type: BOOK - Published: 2023-05-14 - Publisher: Springer Nature
This book constitutes the refereed proceedings of the 9th International Conference on Rigorous State-Based Methods, ABZ 2023, held in Nancy, France, in May 2023
Language: en
Pages: 222
Pages: 222
Type: BOOK - Published: 2019-03-07 - Publisher: SAE International
Safety has been ranked as the number one concern for the acceptance and adoption of automated vehicles since safety has driven some of the most complex requirem