Pages that link to "Item:Q667523"
From MaRDI portal
The following pages link to Formal reliability analysis of redundancy architectures (Q667523):
Displaying 8 items.
- Formal assessment of reliability specifications in embedded cyber-physical systems (Q334152) (← links)
- An approach for lifetime reliability analysis using theorem proving (Q386029) (← links)
- A probabilistic method for certification of analytically redundant systems (Q747451) (← links)
- Model-based safety assessment of a triple modular generator with xSAP (Q2026377) (← links)
- Reliability assessment method for component system based on AADL architecture model (Q3132702) (← links)
- Modeling the reliability of a class of fault-tolerant VLSI/WSI systems based on multiple-level redundancy (Q4420052) (← links)
- (Q4710025) (← links)
- Efficient analysis of cyclic redundancy architectures via Boolean fault propagation (Q6535620) (← links)