Nasa formal methods: 13th international symposium, nfm 2021, virtual event, may 24–28, 2021, proceedings
Éditeur :
Springer Nature Switzerland AG
ISBN :
9783030763831
Date de publication :
17 mai 2021
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
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.