Sycraft
From MaRDI portal
Cited in
(9)- MR4UM: a framework for adding fault tolerance to UML state diagrams
- Symbolic synthesis of masking fault-tolerant distributed programs
- Automating the addition of fault tolerance with discrete controller synthesis
- Automated constraint-based addition of nonmasking and stabilizing fault-tolerance
- The complexity of automated addition of fault-tolerance without explicit legitimate states
- MR4UM
- Vertaf
- BDDNOW
- Synthesizing bounded-time 2-phase fault recovery
This page was built for software: Sycraft
