Systems of Systems Verification

Systems of Systems Verification

著者名:

Rouff, C. ( Science Applications International Corporation, McLean, VA )
Hinchey, M. ( NASA Goddard Space Flight Center, Greenbelt, MD )
Rash, J.
Truszkwoski, W.

掲載資料名:

AIAA meeting papers on disc

シリーズ名:

AIAA Paper : AIAA Infotech@Aerospace Conference and Exhibit

シリーズ巻号:

2005

発行年:

2005

通号:

2005-6988

ペーパー番号:

AIAA Paper 2005-6988

出版情報:

[Reston, Va.]: American Institute of Aeronautics and Astronautics

ISSN:

10877215

言語:

英語

請求記号:

A07400/200520 [CD-ROM 2005 Disc 20]

資料種別:

テクニカルペーパー

詳細

TDL書誌ID:	ZA00001642
シリーズID:	PA00000048
会議名:	Infotech@Aerospace
会議開催地:	Arlington, Virginia
会議開催年:	2005.09.26-2005.09.29

類似資料:

1 テクニカルペーパー An Intelligent Agent for Testing Distributed Agent-based Systems C. Rouff, S. Lee American Institute of Aeronautics and Astronautics	7 テクニカルペーパー Verification and Validation for Satellite Ground Systems A. Fershtut, W. Palm, M. Goodson American Institute of Aeronautics and Astronautics
2 テクニカルペーパー Run-Time Verification and Validation for Safety-Critical Flight Control Systems J. Schierman, D. Ward, B. Dutoi, A. Aiello, J. Berryman, M. DeVore, W. Storm, J. Wadley American Institute of Aeronautics and Astronautics	8 テクニカルペーパー The PASCAL-HDM Verification System Levitt, Karl N., Schwartz, Richard, Hare, Dwight, Moore, J. S., Melliar-Smith, P. Michael, Boyer, Robert, Green, Robert, … National Aeronautics and Space Administration
3 テクニカルペーパー Adaptation of a “Virtual Prototype” for Systems and Verification Engineering Development. Shandrashekar, M.S., Manjunath, B.C., Lumpkin, E.R., Winters, F.J. Society of Automotive Engineers	9 テクニカルペーパー Integrated UGV and UAV Autonomy for Urban Area Peace Enforcement Smith, P., Rouff, C. American Institute of Aeronautics and Astronautics
4 テクニカルペーパー Design and Verification of an Extended Kalman Filter to Estimate Vehicle Tyre Forces. Wilkin, M.A., Levesley, M.C., Manning, W.J. Society of Automotive Engineers	10 テクニカルペーパー Redefining Space System Verification & Validation J. Sellers, W. Larson, D. Kirkpatrick, J. White American Institute of Aeronautics and Astronautics
5 テクニカルペーパー Divergence analysis report for the bodies of revolution model support systems Rash, Larry C. National Aeronautics and Space Adminstration	11 テクニカルペーパー Ares I Flight Control System Overview C. Hall, C. Lee, M. Jackson, M. Whorton, M. West, J. Brandon, R. Hall, J-W. Jang, N. Bedrossian, J. Compton, C. … American Institute of Aeronautics and Astronautics
6 テクニカルペーパー JUNE TO SEPTEMBER RAINFALL IN THE AFRICAN SAHEL: VERIFICATION OF OUR 1994 FORECASTS AND AN EXTENDED RANGE FORECAST FOR 1995 Landsea, C.W., Gray, W.M., Mielke, P.W., Jr., Berry, K.J. National Aeronautics and Space Adminstration	12 テクニカルペーパー Code Verification, Solution Verification and Validation: An overview of the 3rd Lisbon Workshop Eça, L., Hoekstra, M., Roache, Patrick J., Coleman, Hugh W. American Institute of Aeronautics and Astronautics

1

2

3

4

5

6

7

8

9

10

11

12