A simulation of a steam boiler and its functionalities. Includes levels of redundancies in preparation for potential failures.
-
Updated
Oct 27, 2021 - Java
A simulation of a steam boiler and its functionalities. Includes levels of redundancies in preparation for potential failures.
Placidus is a formal verification and management platform for Software Defined Networks, and it has a core that verifies the following properties: conflicts, redundancies and reachability on network topologies.
Docker Redundancy Validation Tool - Frontend
Docker Redundancy Validation Tool - Backend
Trabajo de practica para ejercitar
Add a description, image, and links to the redundancies topic page so that developers can more easily learn about it.
To associate your repository with the redundancies topic, visit your repo's landing page and select "manage topics."