Store besparelser
Hurtig levering
Fri fragt over 499,-
Gemte
Log ind
0
Kurv
Kurv
NASA Formal Methods
- 13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings
Engelsk Paperback
Se mere i:

NASA Formal Methods

- 13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings
Engelsk Paperback

679 kr
Tilføj til kurv
Sikker betaling
23 - 25 hverdage

Om denne bog
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.

Product detaljer
Sprog:
Engelsk
Sider:
402
ISBN-13:
9783030763831
Indbinding:
Paperback
Udgave:
ISBN-10:
3030763838
Udg. Dato:
17 maj 2021
Længde:
0mm
Bredde:
155mm
Højde:
235mm
Forlag:
Springer Nature Switzerland AG
Oplagsdato:
17 maj 2021
Forfatter(e):
Finder produkter...
Kategori sammenhænge