Inspection of Safety-Critical Software Using Program- Function Tables Jeffrey Smith, Richard Bruno, Vince Fumo.
Pressure vessel inspection
06. Factories and Machinery (Building Operations and Works of Engineering Construction) (Safety) Regulations, 1986 Ve_pua328_1986
Checklist for LSA Maintenance
Inspection of Safety-Critical Software Case study: Darlington nuclear power plant shutdown system Prepared by: Ke Tang.
101842795 Laws of Malaysia Bowec
Inspection of Safety-Critical Software Using Program- Function Tables