Nasa formal methods 13th (3 Ergebnisse)
Sprache: Englisch
Verlag: Springer-Nature New York Inc 2021
Serie: Lecture Notes in Computer Science, Buch 108 von 129. Buch 108 von 129 - Lecture Notes in Computer Science
- Softcover
Anbieter: Revaluation Books, Exeter, , Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 141,48
EUR 14,49 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 418 pages. 9.25x6.10x0.86 inches. In Stock.
Sprache: Englisch
Verlag: Springer 2021
Serie: Lecture Notes in Computer Science, Buch 108 von 129. Buch 108 von 129 - Lecture Notes in Computer Science
- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 81,70
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. NASA Formal Methods | 13th International Symposium, NFM 2021, Virtual Event, May 24-28, 2021, Proceedings | Aaron Dutle (u. a.) | Taschenbuch | xvi | Englisch | 2021 | Springer | EAN 9783030763831 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[do…t]hartmann[at]springer[dot]com | Anbieter: preigu.
Sprache: Englisch
Verlag: Springer International Publishing 2021
Serie: Lecture Notes in Computer Science, Buch 108 von 129. Buch 108 von 129 - Lecture Notes in Computer Science
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 90,94
EUR 63,17 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. T…he 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.
