Search Results
Showing 1 - 8 of 8 results
Search Results
Second NASA Formal Methods Workshop, 1992
| Location | Call # | Status |
|---|---|---|
| Joyner - Microforms B300 | NAS 1.55:10110 | ✔ Available |
Formal design and verification of a reliable computing platform for real-time control
| Location | Call # | Status |
|---|---|---|
| Joyner - Microforms B300 | NAS 1.15:109140 | ✔ Available |
Highly integrated digital engine control system on an NASA F-15 airplane
| Location | Call # | Status |
|---|---|---|
| Joyner - Microforms B300 | NAS 1.15:86040 | ✔ Available |