Petri Net and Fault Tree analysis : combining two techniques for a software safety analysis on an embedded military application
By: by Richard J. McGraw, Jr
Contributors: Shimeall, Timothy J.
Publisher: Naval Postgraduate School; Available from the National Technical Information Service
Published: 1989
Place of publication: Monterey, Calif; Springfield, Va
Language: eng
Number of pages: 54
Notes: Thesis advisor, Timothy J. Shimeall.

ADA225563.

Thesis (M.S. in Comp. Sci.) Naval Postgraduate School, Dec. 1989.

Bibliography: p. 53.