Travelled to:1 × USA
1 × United Kingdom
Collaborated with:∅ C.M.Holloway D.Guaspari M.Smith
Talks about:formal (2) fiction (1) shuttl (1) requir (1) method (1) space (1) navig (1) nasa (1) fact (1) new (1)
Person: Ben L. Di Vito
DBLP: Vito:Ben_L=_Di
Contributed to:
1996
1994Wrote 2 papers:
- FME-1996-Vito #formal method #navigation #requirements
- Formalizing New Navigation Requirements for NASA’s Space Shuttle (BLDV), pp. 160–178.
- TRI-Ada-1994-HollowayVGS #formal method
- Formal Methods Fact vs. Fiction (CMH, BLDV, DG, MS), pp. 256–258.