Search Results - Di Vito, Ben L.

  • Showing 1 - 5 results of 5
Refine Results
  1. 1
    Cover Image

    Formal design and verification of a reliable computing platform for real-time control phase 1 results / by Di Vito, Ben L.

    Published 1990
    Connect to online resource
    Government Document Book

    Save to List
    Saved in:
  2. 2
    Cover Image

    Using formal methods to assist in the requirements analysis of the Space Shuttle GPS change request under contracts NAS1-19341 and NAS9-18817 / by Di Vito, Ben L.

    Published 1996
    Click here to view online
    Government Document Microfilm Book

    Save to List
    Saved in:
  3. 3
    Cover Image

    A formal model of partitioning for integrated modular avionics by Di Vito, Ben L.

    Published 1998
    Click here to view online
    Government Document Microfilm Book

    Save to List
    Saved in:
  4. 4
    Cover Image

    Formal design and verification of a reliable computing platform for real-time control phase 2 results / by Butler, Ricky W.

    Published 1992
    Other Authors: “…Di Vito, Ben L.…”
    Click here to view online
    Government Document Book

    Save to List
    Saved in:
  5. 5
    Cover Image

    Formal design and verification of a reliable computing platform for real-time control phase 3 results / by Butler, Ricky W.

    Published 1994
    Other Authors: “…Di Vito, Ben L.…”
    Connect to online resource
    Government Document Book

    Save to List
    Saved in:
Search Tools: RSS Feed – Save Search