swMATH8199MaRDI QIDQ20209FDOQ20209
Author name not available (Why is that?)
Official website: http://www.cse.msu.edu/~borzoo/sycraft/
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
