Formal Representation of the Requirements for an Advanced Subsonic Civil Transport (ASCT) Flight Control System

Formal Representation of the Requirements for an Advanced Subsonic Civil Transport (ASCT) Flight Control System

著者名:

Frincke, Deborah ( California Polytechnic State University )
Wolber, Dave
Fisher, Gene
Cohen, G.C. ( Boeing Defense & Space Group )

掲載資料名:

NASA Technical Reports

発行年:

1992

号:

NASA-CR-189699

通号:

G3/60 0127230

パート:

NAS 1.26:189699

ペーパー番号:

N93-12346

開始ページ:

1

終了ページ:

46

総ページ数:

46

出版情報:

National Aeronautics and Space Adminstration

言語:

英語

資料種別:

テクニカルペーパー

詳細

TDL書誌ID:	ZA00001429
論文注記:	NAS1-18586

類似資料:

1 テクニカルペーパー Requirements Specification Language (RSL) and Supporting Tools Frincke, Deborah, Wolber, Dave, Fisher, Gene, Cohen, G.C. National Aeronautics and Space Adminstration	7 テクニカルペーパー Formal Design Specification of a Processor Interface Unit Fura, David A, Windeley, Phillip J., Cohen, G.C. National Aeronautics and Space Adminstration
2 テクニカルペーパー An Example of Requirements for Advanced Subsonic Civil Transport (ASCT) Flight Control Svstem Using Structured Techniques McLess, R.E., Cohen, G.C. National Aeronautics and Space Adminstration	8 テクニカルペーパー Formal Mechanization of Device Interactions with a Process Algebra Thomas Schubert, E., Levitt, Karl, Cohen, G.C. National Aeronautics and Space Adminstration
3 テクニカルペーパー Structured Representation for Requirements and Specifications Cohen, Gerald C., Fisher, Gene, Frincke, Deborah, Wolber, Dave National Aeronautics and Space Adminstration	9 テクニカルペーパー Flight Control System Development on the B-1 Program Koziol,D.E., Billips,G.C., Petersen,F.W. "Society of Automotive Engineering, Inc."
4 テクニカルペーパー REFERENCE MANUAL FOR A REQUIREMENTS SPECIFICATION LANGUAGE (RLS), VERSION 2.0 Fisher, G.L., Cohen, G.C. National Aeronautics and Space Adminstration	10 テクニカルペーパー FORMAL PROOF OF THE AVM-1 MICROPROCESSOR USING THE CONCEPT OF GENERIC INTERPRETERS Windley, P., Levitt, K., Cohen, G.C. National Aeronautics and Space Adminstration
5 テクニカルペーパー The Formal Verification of Generic Interpreters Windley, P., Levitt, K., Cohen, G.C. National Aeronautics and Space Adminstration	11 テクニカルペーパー A Comparison of the Apollo and Early Orion Environmental Control, Life Support and Active Thermal Control System's Driving Requirements and System Mass. Cross, C., Lewis, J.F., Tuan, G.C. Society of Automotive Engineers
6 テクニカルペーパー Formal Requirements Analysis Techniques for Software-Intensive Automotive Electronic Control Systems. Rao, A.C., Dixit, M.G., Sethu, R. Society of Automotive Engineers	12 テクニカルペーパー Design of an Integrated Airframe/Propulsion Control System Architecture Cohen, G.C., Lee, C.W., Strickland, M.J. National Aeronautics and Space Adminstration

1

2

3

4

5

6

7

8

9

10

11

12