Pages that link to "Item:Q2817299"
From MaRDI portal
The following pages link to Formal Dependability Modeling and Analysis: A Survey (Q2817299):
Displaying 6 items.
- Formal reliability analysis of redundancy architectures (Q667523) (← links)
- A formal framework for dependability and resilience from a software engineering perspective (Q692989) (← links)
- Formal Analysis of Robustness at Model and Code Level (Q2988970) (← links)
- Quantitative Analysis of UML Statechart Models of Dependable Systems (Q4551648) (← links)
- Computing Program Reliability Using Forward-Backward Precondition Analysis and Model Counting (Q5039530) (← links)
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems (Q5464763) (← links)