Author:
Publisher:
ISBN:
Category : Aeronautics
Languages : en
Pages : 816
Book Description
NASA Conference Publication
Author:
Publisher:
ISBN:
Category : Aeronautics
Languages : en
Pages : 816
Book Description
Publisher:
ISBN:
Category : Aeronautics
Languages : en
Pages : 816
Book Description
NASA Conference Publication
Author: United States. National Aeronautics and Space Administration. Scientific and Technical Information Office
Publisher:
ISBN:
Category :
Languages : en
Pages :
Book Description
Publisher:
ISBN:
Category :
Languages : en
Pages :
Book Description
NASA Conference Publication
Author: United States. National Aeronautics and Space Administration. Scientific and Technical Information Office
Publisher:
ISBN:
Category :
Languages : en
Pages :
Book Description
Publisher:
ISBN:
Category :
Languages : en
Pages :
Book Description
NASA Conference Publication
Author:
Publisher:
ISBN:
Category :
Languages : en
Pages :
Book Description
Publisher:
ISBN:
Category :
Languages : en
Pages :
Book Description
NASA Conference Publication
Author: United States. National Aeronautics and Space Administration
Publisher:
ISBN:
Category : Aeronautics
Languages : en
Pages :
Book Description
Publisher:
ISBN:
Category : Aeronautics
Languages : en
Pages :
Book Description
NASA conference publication
Author: National Aeronautics and Space Administration. Scientific and Technical Information Branch
Publisher:
ISBN:
Category :
Languages : en
Pages :
Book Description
Publisher:
ISBN:
Category :
Languages : en
Pages :
Book Description
NASA Conference Publication
Author:
Publisher:
ISBN:
Category : Aeronautics
Languages : en
Pages : 896
Book Description
Publisher:
ISBN:
Category : Aeronautics
Languages : en
Pages : 896
Book Description
Space Shuttle Technical Conference, Part 2
Author:
Publisher:
ISBN:
Category : Space shuttles
Languages : en
Pages : 540
Book Description
Publisher:
ISBN:
Category : Space shuttles
Languages : en
Pages : 540
Book Description
NASA Formal Methods
Author: Aaron Dutle
Publisher: Springer
ISBN: 9783030763831
Category : Computers
Languages : en
Pages : 402
Book Description
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.
Publisher: Springer
ISBN: 9783030763831
Category : Computers
Languages : en
Pages : 402
Book Description
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.
NASA Scientific and Technical Publications
Author:
Publisher:
ISBN:
Category : Aeronautics
Languages : en
Pages : 92
Book Description
Publisher:
ISBN:
Category : Aeronautics
Languages : en
Pages : 92
Book Description