Author :
Publisher :
Page : 816 pages
File Size : 43,31 MB
Release : 1974
Category : Aeronautics
ISBN :
[PDF] Nasa Conference Publication eBook
Nasa Conference Publication Book in PDF, ePub and Kindle version is available to download in english. Read online anytime anywhere directly from your device. Click on the download button below to get a free pdf file of Nasa Conference Publication book. This book definitely worth reading, it is an incredibly well-written.
NASA Conference Publication
Author : United States. National Aeronautics and Space Administration. Scientific and Technical Information Office
Publisher :
Page : pages
File Size : 49,42 MB
Release : 1977
Category :
ISBN :
NASA Conference Publication
Author : United States. National Aeronautics and Space Administration. Scientific and Technical Information Office
Publisher :
Page : pages
File Size : 39,88 MB
Release : 1977
Category :
ISBN :
NASA Conference Publication
Author :
Publisher :
Page : 896 pages
File Size : 42,86 MB
Release : 1992
Category : Aeronautics
ISBN :
NASA Conference Publication
Author :
Publisher :
Page : pages
File Size : 24,43 MB
Release : 1970
Category :
ISBN :
NASA Conference Publication
Author : United States. National Aeronautics and Space Administration
Publisher :
Page : pages
File Size : 26,24 MB
Release : 1994
Category : Aeronautics
ISBN :
NASA conference publication
Author : National Aeronautics and Space Administration. Scientific and Technical Information Branch
Publisher :
Page : pages
File Size : 32,12 MB
Release :
Category :
ISBN :
X-15 Research Results
Author : Wendell H. Stillwell
Publisher :
Page : 140 pages
File Size : 49,75 MB
Release : 1965
Category : X-15 (Rocket aircraft).
ISBN :
NASA Formal Methods
Author : Aaron Dutle
Publisher : Springer
Page : 402 pages
File Size : 27,70 MB
Release : 2021-05-17
Category : Computers
ISBN : 9783030763831
This book constitutes the proceedings of the 13th International Symposium on NASA Formal Methods, NFM 2021, held virtually in May 2021. The 21 full and 3 short papers presented in this volume were carefully reviewed and selected from 66 submissions. The papers aim to identify challenges and provide solutions to achieve assurance in mission-critical and safety-critical systems. Examples of such systems include advanced separation assurance algorithms for aircraft, next-generation air transportation, autonomous rendezvous and docking of spacecraft, on-board software for unmanned aerial systems (UAS), UAS traffic management, autonomous robots, and systems for fault detection, diagnosis, and prognostics.
Space Shuttle Technical Conference, Part 2
Author :
Publisher :
Page : 540 pages
File Size : 46,78 MB
Release : 1985
Category : Space shuttles
ISBN :