1.

テクニカルペーパー
テクニカルペーパー
1. Formal Design Specification of a Processor Interface Unit
Fura, David A ; Windeley, Phillip J. ; Cohen, G.C.
出版情報: NASA Technical Reports.  (NASA-CR-189698),  pp.1-253,  1992.  National Aeronautics and Space Adminstration
2.

テクニカルペーパー
テクニカルペーパー
2. Formal Mechanization of Device Interactions with a Process Algebra
Thomas Schubert, E. ; Levitt, Karl ; Cohen, G.C.
出版情報: NASA Technical Reports.  (NASA-CR-189644),  pp.1-58,  1992.  National Aeronautics and Space Adminstration
3.

テクニカルペーパー
テクニカルペーパー
3. Toward a Formal Verification of a Floating- Point Coprocessor and its Composition with a Central Processing UNit
Pan, Jing ; Levitt, K. ; Cohen, G.C.
出版情報: NASA Technical Reports.  (NASA-CR-187547),  pp.1-110,  1991.  National Aeronautics and Space Adminstration
4.

テクニカルペーパー
テクニカルペーパー
4. Formal Representation of the Requirements for an Advanced Subsonic Civil Transport (ASCT) Flight Control System
Frincke, Deborah ; Wolber, Dave ; Fisher, Gene ; Cohen, G.C.
出版情報: NASA Technical Reports.  (NASA-CR-189699),  pp.1-46,  1992.  National Aeronautics and Space Adminstration
5.

テクニカルペーパー
テクニカルペーパー
5. Requirements Specification Language (RSL) and Supporting Tools
Frincke, Deborah ; Wolber, Dave ; Fisher, Gene ; Cohen, G.C.
出版情報: NASA Technical Reports.  (NASA-CR-189700),  pp.1-73,  1992.  National Aeronautics and Space Adminstration
6.

テクニカルペーパー
テクニカルペーパー
6. IAPSA II Small-Scale System Specification
Cohen, G.C. ; Torkelson, T.C.
出版情報: NASA Technical Reports.  (NASA-CR-182006),  pp.1-310,  1990.  National Aeronautics and Space Adminstration
7.

テクニカルペーパー
テクニカルペーパー
7. FORMAL PROOF OF THE AVM-1 MICROPROCESSOR USING THE CONCEPT OF GENERIC INTERPRETERS
Windley, P. ; Levitt, K. ; Cohen, G.C.
出版情報: NASA Technical Reports.  (NASA-CR-167491),  pp.1-211,  1991.  National Aeronautics and Space Adminstration
8.

テクニカルペーパー
テクニカルペーパー
8. Final Report : Design of an Integrated Airframe/ Propulsion Control System Architecture
Cohen, G.C. ; Lee, C.W. ; Strickland, M.J. ; Torkelson, T.C.
出版情報: NASA Technical Reports.  (NASA-CR-182007),  pp.1-253,  1990.  National Aeronautics and Space Adminstration
9.

テクニカルペーパー
テクニカルペーパー
9. Design of an Integrated Airframe/Propulsion Control System Architecture
Cohen, G.C. ; Lee, C.W. ; Strickland, M.J.
出版情報: NASA Technical Reports.  (NASA-CR-182004),  pp.1-556,  1990.  National Aeronautics and Space Adminstration
10.

テクニカルペーパー
テクニカルペーパー
10. An Example of Requirements for Advanced Subsonic Civil Transport (ASCT) Flight Control Svstem Using Structured Techniques
McLess, R.E. ; Cohen, G.C.
出版情報: NASA Technical Reports.  (NASA-CR-187526),  pp.1-273,  1991.  National Aeronautics and Space Adminstration