Arguing from Hazard Analysis in Safety Cases: A Modular Argument Pattern.

Mario Gleirscher Carmen Cârlan

Published in: HASE (2017)

Keyphrases

safety analysis
real time
quantitative analysis
nuclear power plant
database systems
video sequences
case based reasoning