D. N. Hoover

Tablewise, a decision table tool

D. N. Hoover, Zewei Chen, D. N. Hoover, 1995, COMPASS '95 Proceedings of the Tenth Annual Conference on Computer Assurance Systems Integrity, Software Safety and Process Security'.

Applications of Formal Methods to Specification and Safety of Avionics Software

David Guaspari, Polar Humenn, D. N. Hoover, 1996 .