Checking Correctness of a Symbolic Reliability Expression for a Capacitated Network
Omar Mutab Alsalami & Ali Muhammad Ali Rushdi · Journal of Engineering Research and Reports · 2020
Checking a symbolic reliability expression for a flow network is useful for detecting faults in hand derivations and for debugging computer programs. This checking can be achieved in a systematic way, though it may be a formidable task. Three exhaustive tests are given when a rel...
Open access
Research Article
10.9734/jerr/2020/v18i217203