NASA Formal Methods / Lecture Notes in Computer Science Bd.12673 (PDF)
The 21 full and 3 short papers presented in this volume were carefully reviewed and selected from 66...
45 DeutschlandCard Punkte sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
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.
- 2021, 1st ed. 2021, 402 Seiten, Englisch
- Herausgegeben: Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz, Ivan Perez
- Verlag: Springer International Publishing
- ISBN-10: 3030763846
- ISBN-13: 9783030763848
- Erscheinungsdatum: 19.05.2021
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
- Dateiformat: PDF
- Größe: 20 MB
- Ohne Kopierschutz
- Vorlesefunktion
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "NASA Formal Methods / Lecture Notes in Computer Science Bd.12673".
Kommentar verfassen