Lecture Notes in Computer Science - Computer Safety, Reliability, and Security
Latest Publications

TOTAL DOCUMENTS

22
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By Springer International Publishing

9783319662657, 9783319662664
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Model-Based Safety Analysis for Vehicle Guidance Systems

2017 ◽  
pp. 3-19 ◽  
Author(s):  
Majdi Ghadhab ◽  
Sebastian Junges ◽  
Joost-Pieter Katoen ◽  
Matthias Kuntz ◽  
Matthias Volk
Keyword(s):  
Safety Analysis ◽  
Vehicle Guidance ◽  
Model Based ◽  
Guidance Systems

Arguing on Software-Level Verification Techniques Appropriateness

2017 ◽  
pp. 39-54 ◽  
Author(s):  
Carmen Cârlan ◽  
Barbara Gallina ◽  
Severin Kacianka ◽  
Ruth Breu
Keyword(s):  
Verification Techniques

Benchmarking Static Code Analyzers

2017 ◽  
pp. 197-212
Author(s):  
Jörg Herter ◽  
Daniel Kästner ◽  
Christoph Mallon ◽  
Reinhard Wilhelm

scholarly journals Early Safety Assessment of Automotive Systems Using Sabotage Simulation-Based Fault Injection Framework

2017 ◽  
pp. 255-269 ◽  
Author(s):  
Garazi Juez ◽  
Estíbaliz Amparan ◽  
Ray Lattarulo ◽  
Alejandra Ruíz ◽  
Joshué Pérez ◽  
...  
Keyword(s):  
Safety Assessment ◽  
Fault Injection ◽  
Automotive Systems ◽  
Simulation Based

Generic Management of Availability in Fail-Operational Automotive Systems

2017 ◽  
pp. 179-194 ◽  
Author(s):  
Philipp Schleiss ◽  
Christian Drabek ◽  
Gereon Weiss ◽  
Bernhard Bauer
Keyword(s):  
Automotive Systems ◽  
Generic Management
Load More ...
Sign in / Sign up

Export Citation Format

Share Document