- ECU Libraries Catalog

Start Over

You searched for: author_facet Holloway, C. Michael

Showing 1 - 6 of 6 results

Search Results

Cover image for The Friendly Argument Notation (FAN)

The Friendly Argument Notation (FAN)

by Holloway, C. Michael
2023
Format: Electronic

Location
Access Content Online

Cover image for Understanding the overarching properties

Understanding the overarching properties

by Holloway, C. Michael
2019
Format: Electronic

Location
Access Content Online

Cover image for An investigation of proposed techniques for quantifying confidence in assurance arguments

An investigation of proposed techniques for quantifying confidence in assurance arguments

by Graydon, Patrick J.
2016
Format: Electronic

Location
Access Content Online

Cover image for Planning the unplanned experiment

Planning the unplanned experiment

by Graydon, Patrick J.
2015
Format: Electronic

Location
Access Content Online

Cover image for Formal design and verification of a reliable computing platform for real-time control

Formal design and verification of a reliable computing platform for real-time control

by Butler, Ricky W.
1994
Format: Book

Location	Call #	Status
Joyner - Microforms B300	NAS 1.15:109140	✔ Available

Cover image for Second NASA Formal Methods Workshop, 1992

Second NASA Formal Methods Workshop, 1992

by NASA Formal Methods Workshop
1992
Format: Book

Location	Call #	Status
Joyner - Microforms B300	NAS 1.55:10110	✔ Available