-
Updated
May 2, 2017 - C++
#
redundancies
Here are 5 public repositories matching this topic...
A simulation of a steam boiler and its functionalities. Includes levels of redundancies in preparation for potential failures.
java engineering software software-engineering redundancies redundancy safety-critical safety-critical-systems
-
Updated
Oct 27, 2021 - Java
Docker Redundancy Validation Tool - Frontend
-
Updated
Feb 26, 2017 - CSS
Docker Redundancy Validation Tool - Backend
-
Updated
Feb 26, 2017 - PHP
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.
reachability formal-verification conflicts redundancies software-defined-networking network-platform
-
Updated
Dec 3, 2020 - Java
Improve this page
Add a description, image, and links to the redundancies topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the redundancies topic, visit your repo's landing page and select "manage topics."