Sycraft
From MaRDI portal
Software:20209
swMATH8199MaRDI QIDQ20209FDOQ20209
Author name not available (Why is that?)
Cited In (6)
- 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
- Synthesizing bounded-time 2-phase fault recovery
This page was built for software: Sycraft
