Chris Johnson, Index
Leveson's Completeness Criteria
background image

  1. Human Computer Interface Criteria.

  2. State Completeness.

  3. Input/Output Variable Completeness.

  4. Trigger Event Completeness.

  5. Output Specification Completeness.

  6. Output to Trigger Relationships.

  7. State Transitions.


forward