|
Search the dblp DataBase
Ben L. Di Vito:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Ben L. Di Vito
Formalizing New Navigation Requirements for NASA's Space Shuttle. [Citation Graph (0, 0)][DBLP] FME, 1996, pp:160-178 [Conf]
- Ben L. Di Vito
Software Can Be Entrusted with High Consequence Functionality. [Citation Graph (0, 0)][DBLP] HASE, 1999, pp:273-272 [Conf]
- C. Michael Holloway, Ben L. Di Vito, David Guaspari, Michael Smith
Formal Methods Fact vs. Fiction. [Citation Graph (0, 0)][DBLP] TRI-Ada, 1994, pp:256-258 [Conf]
- Ben L. Di Vito
High-automation proofs for properties of requirements models. [Citation Graph (0, 0)][DBLP] STTT, 2000, v:3, n:1, pp:20-31 [Journal]
- Judith Crow, Ben L. Di Vito
Formalizing Space Shuttle Software Requirements: Four Case Studies. [Citation Graph (0, 0)][DBLP] ACM Trans. Softw. Eng. Methodol., 1998, v:7, n:3, pp:296-332 [Journal]
Provable transient recovery for frame-based, fault-tolerant computing systems. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|