Pages that link to "Item:Q470020"

The following pages link to The mechanical generation of fault trees for reactive systems via retrenchment. II. Clocked and feedback circuits (Q470020):

Displaying 3 items.

• The mechanical generation of fault trees for reactive systems via retrenchment. I. Combinational circuits (Q470019) (← links)
• Model-based safety assessment of a triple modular generator with xSAP (Q2026377) (← links)
• Composition mechanisms for retrenchment (Q2426521) (← links)