Pages that link to "Item:Q2790112"
From MaRDI portal
The following pages link to Synthesis of fault-tolerant concurrent programs (Q2790112):
Displaying 4 items.
- Synthesis of large dynamic concurrent programs from dynamic specifications (Q346790) (← links)
- MR4UM: a framework for adding fault tolerance to UML state diagrams (Q391245) (← links)
- Model-based construction and verification of critical systems using composition and partial refinement (Q633296) (← links)
- Simulation relations for fault-tolerance (Q1688554) (← links)