Copied NASA Formal Methods
NASA Formal Methods
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.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$79.99 | $79.99 |
|
$79.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Integrated Ground-Based Observing Systems
$129.00
AI-Enabled Threat Detection and Security Analysis for Industrial IoT
$179.99
Deutsche Stadtbaukunst in der Vergangenheit
$69.99
Ocular Toxicology
$39.99
Essential Guide to Managed Extensions for C++
$44.95
Yet Another Introduction to Dark Matter
$54.99
Vehicular Ad-Hoc Networks for Smart Cities
$109.99
The Cholinergic Synapse
$84.99
GeoSpatial Semantics
$39.99
Advances and Challenges in Space-time Modelling of Natural Events
$129.00
Measurement across the Sciences
$89.99
Globalization and Human Rights in the Developing World
$39.99
Software Projects Secrets
$44.99
Die Performance Gap des Abschlussprfers
$64.99
My Cognitive autoMOBILE Life
$49.99
Scanning Probe Microscopy
$79.99
Kundenorientiertes Qualitts-Signaling
$59.99
Judging the State in International Trade and Investment Law
$99.00
Recht und Ethik in der Medizin
$59.99
Advances in Communication and Computing
$109.99
Programmieren lernen
$29.99
Representations of Elizabeth I in Early Modern Culture
$84.99
Fetal Heart Rate Monitoring
$84.99
Asynchronous Machines
$179.99
Indigenous Black Theology
$79.99
Pro iOS Security and Forensics
$19.99
Wavelet Theory and Its Applications
$169.99
Philosophy and Cognitive Science: Categories, Consciousness, and Reasoning
$169.99
Technik, Ingenieur und Hochschulstudium
$59.99
Aesthetic Plastic Surgery of Head and Body
$74.99
Energy in Agriculture Under Climate Change
$54.99
International Joint Conference SOCO16-CISIS16-ICEUTE16
$169.00
Learn About: A Kaleidoscope of Butterflies
$5.24
Progress in Drug Research / Fortschritte der Arzneimittelforschung / Progrs des recherches pharmace
$39.99
Postcolonial Literatures and Deleuze
$39.99
Ireland and India
$109.99
Der Freileitungsbau
$54.99
Wind Power Policies and Diffusion in the Nordic Countries
$34.99
The Management of Non-Hodgkins Lymphomas in Europe
$84.99
Transformationsprozesse in sozialistischen Wirtschaftssystemen
$69.99
