Login / Signup
A method to generate reusable safety case argument-fragments from compositional safety analysis.
Irfan Sljivo
Barbara Gallina
Jan Carlson
Hans Hansson
Stefano Puri
Published in:
J. Syst. Softw. (2017)
Keyphrases
</>
real time
safety analysis
control system
dynamic programming
neural network
intelligent systems