REG NASA-LLIS-0723-2000
Извлеченные уроки Независимая проверка и валидация встроенного программного обеспечения