Start Over
You searched for: author_facet Butler, Ricky W.

Search Results

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

Location Call # Status
Joyner - Microforms B300 NAS 1.15:109140 ✔ Available
Cover image for An elementary tutorial on formal specification and verification using PVS

An elementary tutorial on formal specification and verification using PVS

Location Call # Status
Joyner - Microforms B300 NAS 1.15:108991 ✔ Available
Cover image for Second NASA Formal Methods Workshop, 1992

Second NASA Formal Methods Workshop, 1992

Location Call # Status
Joyner - Microforms B300 NAS 1.55:10110 ✔ Available
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

Location Call # Status
Joyner - Microforms B300 NAS 1.15:102716 ✔ Available
Cover image for The art of fault-tolerant system reliability modeling

The art of fault-tolerant system reliability modeling

Location Call # Status
Joyner - Microforms B300 NAS 1.15:102623 ✔ Available
Cover image for A survey of provably correct fault-tolerant clock synchronization techniques

A survey of provably correct fault-tolerant clock synchronization techniques

Location Call # Status
Joyner - Microforms B300 NAS 1.15:100553 ✔ Available
Cover image for The SURE reliability analysis program

The SURE reliability analysis program

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