Mariano M. Moscato - Böcker
Visar alla böcker från författaren Mariano M. Moscato. Handla med fri frakt och snabb leverans.
1 produkt
1 produkt
NASA Formal Methods
13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings
Häftad, Engelska, 2021
906 kr
Skickas inom 10-15 vardagar
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.