Showing 1 - 7 results of 7 for search 'Holloway, C. Michael', query time: 0.15s Refine Results
  1. 1
    The syntax of DRAGOON : evaluation and recommendations /
    by Holloway, C. Michael
    Published 1992
    Government Document Book
  2. 2
    Understanding the overarching properties /
    by Holloway, C. Michael
    Published 2019
    Get full text
    Government Document eBook
  3. 3
    The Friendly Argument Notation (FAN) : 2023 version /
    by Holloway, C. Michael
    Published 2023
    Get full text
    Government Document eBook
  4. 4
    Planning the unplanned experiment : assessing the efficacy of standards for safety critical software /
    Get full text
    Get full text
    Government Document eBook
  5. 5
    An investigation of proposed techniques for quantifying confidence in assurance arguments /
    Get full text
    Get full text
    Government Document eBook
  6. 6
    Formal design and verification of a reliable computing platform for real-time control : phase 3 results /
    by Butler, Ricky W.
    Published 1994
    Other Authors: “...Holloway, C. Michael...”
    Government Document Book
  7. 7
    Second NASA Formal Methods Workshop, 1992.
    Published 1992
    Other Authors: “...Holloway, C. Michael...”
    Government Document Conference Proceeding Book
Search Tools: RSS Feed – Email Search