Research Catalog

RIACS workshop on the verification and validation of autonomous and adaptive systems

Title
  1. RIACS workshop on the verification and validation of autonomous and adaptive systems [microform] / Charles Pecheur, Willem Visser, Reid Simmons.
Published by
  1. Moffett Field, Calif. : National Aeronautics and Space Administration, Ames Research Center ; Hanover, MD : Available from NASA Center for AeroSpace Information, [2001]
Author
  1. Pecheur, Charles.

Details

Additional authors
  1. Visser, Willem, 1968-
  2. Simmons, Reid.
  3. Ames Research Center.
Description
  1. 1 v.
Series statement
  1. [NASA technical memorandum] ; NASA/TM-2001-210927
Uniform title
  1. NASA technical memorandum ; 210927.
Subject
  1. Autonomy
  2. Program verification (Computers)
  3. Adaptive control
  4. Computer programs
Call number
  1. GPO Microfiche NAS 1.15:210927
Note
  1. Shipping list no.: 2002-0336-M.
Reproduction (note)
  1. Microfiche.
Author
  1. Pecheur, Charles.
Title
  1. RIACS workshop on the verification and validation of autonomous and adaptive systems [microform] / Charles Pecheur, Willem Visser, Reid Simmons.
Imprint
  1. Moffett Field, Calif. : National Aeronautics and Space Administration, Ames Research Center ; Hanover, MD : Available from NASA Center for AeroSpace Information, [2001]
Series
  1. [NASA technical memorandum] ; NASA/TM-2001-210927
  2. NASA technical memorandum ; 210927.
Reproduction
  1. Microfiche. [Washington, D.C. : National Aeronautics and Space Administration, 2002?] 1 microfiche.
Added author
  1. Visser, Willem, 1968-
  2. Simmons, Reid.
  3. Ames Research Center.
Gpo item no.
  1. 0830-D (MF)
Sudoc no.
  1. NAS 1.15:210927
Research call number
  1. GPO Microfiche NAS 1.15:210927
View in legacy catalog