Logic Model Explained/Criteria
Jump to navigation
Jump to search
A collection of conditional statements, both pre and post-conditions of the execution process, to define the safe and liveness conditions that form the correct/successful criteria.