NASA Formal Methods: 13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings (Programming and Software Engineering, Band 12673) - Softcover

Buch 108 von 129: Lecture Notes in Computer Science
 
9783030763831: NASA Formal Methods: 13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings (Programming and Software Engineering, Band 12673)
Softcover
ISBN 10: 3030763838 ISBN 13: 9783030763831
Verlag: Springer, 2021

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2021
Sprache
Englisch
ISBN 10 
3030763838
ISBN 13 
9783030763831
Einband
Taschenbuch
Auflage
1
Anzahl der Seiten
420
Herausgeber
Dutle Aaron, Moscato Mariano M., Titolo Laura, Muñoz César A., Perez Ivan
Kontakt zum Hersteller
ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Deutschland