I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

Safety verification in Murphy using fault tree analysis:

, In: Proceedings of the 10th international conference on Software engineering,
Cha, S. S. ; Leveson, N. G. ; Shimeall, T. J. - p. 377-386 , 1988
Link: https://dl.acm.org/doi/10.5555/55823.55860