Re:Using TLA+ to Model Cascading Failures
by lintuxvi on Thursday April 11, 2019 @11:22AM
(#19635462)
He also runs workshops for teams wanting to incorporate this into their toolset.
[ Parent
| on HN ]
There are no comments on this comment yet.