Prevention of Modification
600.436 High-Assurance Systems
Fall 01/Operational Assurance
8