1.

国際会議録
国際会議録
1. Satellite Servicer System Flight Demonstration Program
Moore, J. S.
出版情報: Second European In-Orbit Operations Technology Symposium : proceedings of a Symposium held in Toulouse, France, 12-14 September 1989.  pp.337-340,  1989.  Noordwijk, the Netherlands.  ESA Publications Division
シリーズ名: ESA SP
シリーズ巻号: 297
2.

国際会議録
国際会議録
2. Energy Transfer in Organic Dendrimer Antenna Funnel and Anti-Funnel Supermolecules
Swallen, S. F. ; Kopelman, R. ; Moore, J. S.
出版情報: Dynamics in small confining systems IV : symposium held November 30-December 3, 1998, Boston, Massachusetts, U.S.A..  pp.311-,  1999.  Warrendale, PA.  MRS - Materials Research Society
シリーズ名: Materials Research Society symposium proceedings
シリーズ巻号: 543
3.

テクニカルペーパー
テクニカルペーパー
3. Evaluation of NOx Adsorber Catalysts Systems to Reduce Emissions of Lean Running Gasoline Engines
Brogan, M. S. ; Brisley, R. J. ; Moore, J. S. ; Clark, A. D.
出版情報: 1996 International Fall Fuels and Lubricants Meeting and Exposition : SAE technical paper.  pp.43-57,  1996.  Warrendale, Penn..  Society of Automotive Engineers
シリーズ名: Society of Automotive Engineers technical paper series
シリーズ巻号: 1996
4.

テクニカルペーパー
テクニカルペーパー
4. OBD-II Performance of Three-Way Catalysts
Rieck, J. S. ; Collins, N. R. ; Moore, J. S.
出版情報: 1998 SAE International Congress and Exposition : technical paper.  pp.1-8,  1998.  Warrendale, Penn..  Society of Automotive Engineers
シリーズ名: Society of Automotive Engineers technical paper series
シリーズ巻号: 1998
5.

テクニカルペーパー
テクニカルペーパー
5. A Summary of HDM
Levitt, Karl N. ; Schwartz, Richard ; Hare, Dwight ; Moore, J. S. ; Melliar-Smith, P. Michael ; Shostak, Robert E. ; Boyer, Robert ; Green, Milton ; Elliott, W. David
出版情報: NASA Technical Reports.  (NASA-CR-166008),  pp.1-25,  1983.  National Aeronautics and Space Administration
6.

テクニカルペーパー
テクニカルペーパー
6. The SIFT Code Specifications
Levitt, Karl N. ; Schwartz, Richard ; Moore, J. S. ; Melliar-Smith, P. Michael ; Shostak, Robert E. ; Boyer, Robert ; Green, Milton ; Elliott, W. David
出版情報: NASA Technical Reports.  (NASA-CR-166008),  pp.1-30,  1983.  National Aeronautics and Space Administration
7.

テクニカルペーパー
テクニカルペーパー
7. The PASCAL-HDM Verification System
Levitt, Karl N. ; Schwartz, Richard ; Hare, Dwight ; Moore, J. S. ; Melliar-Smith, P. Michael ; Boyer, Robert ; Green, Robert ; Elliott, W. David ; Shostak, Robert E.
出版情報: NASA Technical Reports.  (NASA-CR-166008),  pp.1-11,  1983.  National Aeronautics and Space Administration
8.

テクニカルペーパー
テクニカルペーパー
8. Investigation, Development, and Evalution of Performance Proving for Fault-Tolerant Computers
Levitt, Karl N. ; Schwartz, Richard ; Hare, Dwight ; Moore, J. S. ; Melliar-Smith, P. Michael ; Shostak, Robert E. ; Boyer, Robert ; Green, Milton ; Elliott, W. David
出版情報: NASA Technical Reports.  (NASA-CR-166008),  pp.1-12,  1983.  National Aeronautics and Space Administration
9.

テクニカルペーパー
テクニカルペーパー
9. The Proof of the SIFT Implementation
Levitt, Karl N. ; Schwartz, Richard ; Hare, Dwight ; Moore, J. S. ; Melliar-Smith, P. Michael ; Shostak, Robert E. ; Boyer, Robert ; Green, Milton
出版情報: NASA Technical Reports.  (NASA-CR-166008),  pp.1-11,  1983.  National Aeronautics and Space Administration
10.

テクニカルペーパー
テクニカルペーパー
10. A Formal Semantics for the SRI Hierarchical Program Design Methodology
Boyer, Robert S. ; Moore, J. S.
出版情報: NASA Technical Reports.  (NASA-CR-166008),  pp.1-22,  1983.  National Aeronautics and Space Administration