Measurable Life-cycle Model
600.436 High-Assurance Systems
Fall 01/Development Process Assurance
29
