Search Results
Showing 1 - 10 of 11 results
Search Results
A note about HARP's state trimming method
| Location | Call # | Status |
|---|---|---|
| Joyner - Microforms B300 | NAS 1.15:208427 | ✔ Available |
ASSIST internals reference manual
| Location | Call # | Status |
|---|---|---|
| Joyner - Microforms B300 | NAS 1.15:109102 | ✔ Available |
Second NASA Formal Methods Workshop, 1992
| Location | Call # | Status |
|---|---|---|
| Joyner - Microforms B300 | NAS 1.55:10110 | ✔ Available |
The art of fault-tolerant system reliability modeling
| Location | Call # | Status |
|---|---|---|
| Joyner - Microforms B300 | NAS 1.15:102623 | ✔ Available |
Evaluation of fault-tolerant parallel-processor architectures over long space missions
| Location | Call # | Status |
|---|---|---|
| Joyner - Microforms B300 | NAS 1.15:4123 | ✔ Available |