Travelled to:1 × Greece
1 × USA
Collaborated with:∅ C.M.Holloway B.L.D.Vito M.Smith
Talks about:formal (2) specifi (1) guidanc (1) fiction (1) control (1) automat (1) method (1) logic (1) fact (1)
Person: David Guaspari
DBLP: Guaspari:David
Contributed to:
1994
1991Wrote 2 papers:
- TRI-Ada-1994-HollowayVGS #formal method
- Formal Methods Fact vs. Fiction (CMH, BLDV, DG, MS), pp. 256–258.
- AdaEurope-1991-Guaspari #automation #logic #specification
- Formally Specifying the Logic of an Automatic Guidance Controller (DG), pp. 372–383.