Pages that link to "Item:Q1763727"
From MaRDI portal
The following pages link to A hierarchy of failures-based models: theory and application (Q1763727):
Displaying 12 items.
- On using data abstractions for model checking refinements (Q878378) (← links)
- Relational concurrent refinement. II: Internal operations and outputs (Q1019018) (← links)
- On exchangeable, causal and cascading failures (Q1872607) (← links)
- Compositional failure-based semantic models for basic LOTOS (Q1903079) (← links)
- Failure mode and effects analysis considering consensus and preferences interdependence (Q2331427) (← links)
- On the expressive power of CSP refinement (Q2576581) (← links)
- A hierarchy of failures-based models (Q2847409) (← links)
- On failure modeling (Q3721646) (← links)
- (Q4787681) (← links)
- A Simple, Flexible Failure Model (Q4865261) (← links)
- An Alternative Order for the Failures Model (Q5285988) (← links)
- Computer Aided Verification (Q5312903) (← links)