Applications of formal methods to specification and safety of avionics software
By: D. N. Hoover, David Guaspari and Polar Humenn.
Contributors: Guaspari, David.; Humenn, Polar.; Langley Research Center
Publisher: Langley Research Center
Published: 1996
Place of publication: Hampton, Va
Number of pages: 93
Subjects: Avionics; Decision tables
Notes: Bibliographical references: p. 89-91.