The following pages link to (Q2721098):
Displaying 5 items.
- A formal framework for dependability and resilience from a software engineering perspective (Q692989) (← links)
- Formal Methods: State of the Art and New Directions (Q3394904) (← links)
- (Q4665722) (← links)
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems (Q5464763) (← links)
- (Q5477535) (← links)