A practical application of Petri nets in the software safety analysis of a real-time military system
Contributors: Davis, Daniel Lee, 1943-
Published: 1987
Language: eng
Number of pages: 116
Subjects: Computer science
Notes: Thesis advisor, Daniel Davis.

Available from National Technical Information Service, Springfield, Va.

ADA188993.

Thesis (M.S. in Computer Science) Naval Postgraduate School, Dec. 1987.

Bibliography:  p. 113-115.

c.1, c.2