Search Results
Showing 61 - 70 of 98 results
Search Results
Second NASA Formal Methods Workshop, 1992
| Location | Call # | Status |
|---|---|---|
| Joyner - Microforms B300 | NAS 1.55:10110 | ✔ Available |
METCAN verification status
| Location | Call # | Status |
|---|---|---|
| Joyner - Microforms B300 | NAS 1.15:103119 | ✔ Available |
Investigation of specification measures for the Software Engineering Laboratory
| Location | Call # | Status |
|---|---|---|
| Joyner - Microforms B300 | NAS 1.15:88591 | ✔ Available |
| Joyner - Microforms B300 | NAS 1.15:88591 | ✔ Available |
| Joyner - Microforms B300 | NAS 1.15:88591 | ✔ Available |
Enhancing aeropropulsion research with high-speed interactive computing
| Location | Call # | Status |
|---|---|---|
| Joyner - Microforms B300 | NAS 1.15:104374 | ✔ Available |
/LC.GIF&client=easterncarolinaedu)
Experimental program for real gas flow code validation at NASA Ames Research Center
| Location | Call # | Status |
|---|---|---|
| Joyner - Microforms B300 | NAS 1.15:100093 | ✔ Available |
| Joyner - Microforms B300 | NAS 1.15:100093 | ✔ Available |
| Joyner - Microforms B300 | NAS 1.15:100093 | ✔ Available |
Grid resolution and turbulent inflow boundary condition recommendations for NPARC calculations
| Location | Call # | Status |
|---|---|---|
| Joyner - Microforms B300 | NAS 1.15:106959 | ✔ Available |
/LC.GIF&client=easterncarolinaedu)
