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

Bibliographic Details

Main Author:	Pecheur, Charles
Corporate Author:	Ames Research Center
Other Authors:	Visser, Willem, 1968-, Simmons, Reid
Format:	Government Document Book
Language:	English
Published:	Moffett Field, Calif. : Hanover, MD : National Aeronautics and Space Administration, Ames Research Center ; Available from NASA Center for AeroSpace Information, [2001]
Series:	NASA technical memorandum ; 210927.
Subjects:	Autonomy. Program verification (Computers) Adaptive control. Computer programs.