News for hackers. Stuff that matters.
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.

There are no comments on this comment yet.