Searching for authors named "David Guaspari" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

NASA Contractor Report 4723 Applications of Formal Methods to Specification and Safety of Avionics Software
by D. N. Hoover, David Guaspari, Polar Humenn, D. N. Hoover, David Guaspari, Polar Humenn — 1996
… Software D. N. Hoover, David Guaspari, and Polar Humenn Contract NAS1-20335 Prepared for Langley Research…
Add To MetaCart

Orpheus: A Self-Checking Translation Tool Arrangement for Flight Critical Hardware Development
by David Greve, Matthew Wilding, Mark Bickford, David Guaspari — 2000
… David Greve Matthew Wilding Mark Bickford y David Guaspari y Abstract We describe Orpheus, our…
Cited by 2 (1 self) – Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB