Pages that link to "Item:Q2643332"
From MaRDI portal
The following pages link to A theory for observational fault tolerance (Q2643332):
Displaying 8 items.
- Simulation relations for fault-tolerance (Q1688554) (← links)
- A survey of challenges for runtime verification from advanced application domains (beyond software) (Q2008293) (← links)
- A theory of monitors (Q2051767) (← links)
- A theory for observational fault tolerance (Q2643332) (← links)
- A Theory of Monitors (Q2811337) (← links)
- Safety versus Security in the Quality Calculus (Q2842642) (← links)
- ElixirST: a session-based type system for elixir modules (Q6052942) (← links)
- A model of actors and grey failures (Q6137831) (← links)
