AbstractSpecification/Criteria
Jump to navigation
Jump to search
A unified collection of decidable statements that checks on the observed outputs and determines the logical conditions or degrees of success.
A unified collection of decidable statements that checks on the observed outputs and determines the logical conditions or degrees of success.