Sycraft
From MaRDI portal
Software:20209
No author found.
Related Items (6)
MR4UM: a framework for adding fault tolerance to UML state diagrams ⋮ Symbolic synthesis of masking fault-tolerant distributed programs ⋮ Synthesizing bounded-time 2-phase fault recovery ⋮ Automated constraint-based addition of nonmasking and stabilizing fault-tolerance ⋮ Automating the addition of fault tolerance with discrete controller synthesis ⋮ The complexity of automated addition of fault-tolerance without explicit legitimate states
This page was built for software: Sycraft
