Click here to see our scheduled system safety and software safety courses.
- Validating The Safety Of Embedded Real-Time Control Systems Using FMEA, Peter L. Goddard, In Proceedings Annual Reliability and Maintainability Symposium, 1993, pp 227-230.
- Validation Of Ultra-High Dependability For Software-Based Systems, Bev Littlewood, Lorenzo Strigini, CACM, Vol. 36, No. 11, November 1993, pp 69-80.
- Verification Of Hardware/Software Integration Through Sneak Analysis, Boeing Corporation.
- Verification Of Safety, Nancy G. Leveson, In Proceedings Third International Workshop On Achieving Safe Real Time Systems, Queen's College, Cambridge, U.K., September 1983.
- Verifying Properties Of Ada Designs Using Colored Petri Nets, William W. McLendon, Jr., Software Engineer, Draper Laboratory, Cambridge, MA 02139, Richard F. Vidale, Professor, Boston University, MA 02215.