Pages that link to "Item:Q2644063"
From MaRDI portal
The following pages link to Satisfying safety goals by probabilistic risk assessment. (Q2644063):
Displaying 6 items.
- Safe probability (Q1698993) (← links)
- RiskStructures: a design algebra for risk-aware machines (Q1982648) (← links)
- Probability to achieve TSC goal (Q4420945) (← links)
- Risk-Sensitive Safety Analysis Using Conditional Value-at-Risk (Q6053161) (← links)
- A safety assessment framework of control systems according to international standards (Q6570357) (← links)
- A framework for formal probabilistic risk assessment using \textsf{HOL} theorem proving (Q6648178) (← links)