Petri net modeling and software safety analysis
Subtitle: methodology for an embedded military application
Contributors: Davis, Daniel Lee, 1943-
Published: 1988
Language: eng
Number of pages: 91
Notes: Thesis advisor, Daniel L. Davis.

Available from National Technical Information Service, Springfield, Va.

ADA200283.

Cover title: Petri net modeling and automated software safety analysis: methodology for an embedded military application.

Thesis (M.S. in Engineering Science) Naval Postgraduate School, June 1988.

Bibliography: p. 88-89.

c.1, c.2