Pages that link to "Item:Q470019"
From MaRDI portal
The following pages link to The mechanical generation of fault trees for reactive systems via retrenchment. I. Combinational circuits (Q470019):
Displaying 5 items.
- The mechanical generation of fault trees for reactive systems via retrenchment. II. Clocked and feedback circuits (Q470020) (← links)
- Model-based safety assessment of a triple modular generator with xSAP (Q2026377) (← links)
- Composition mechanisms for retrenchment (Q2426521) (← links)
- Automatic generation of fault trees for control systems based on unit I/O model (Q2704893) (← links)
- Symbolic Fault Tree Analysis for Reactive Systems (Q3510794) (← links)