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 |
|
$72.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Plastische Chirurgie bei Kindern und Jugendlichen
$299.99
Proton Beam Radiotherapy
$159.99
Disappeared: Illegal
$7.49
The Facial Nerve
$54.99
Computing in the 90's
$84.99
Practice-Focused Research in Further Adult and Vocational Education
$129.00
Advanced Network Technologies and Intelligent Computing
$109.00
Junkie-Maschinen
$59.99
Natural Language Processing IJCNLP 2005
$169.99
Spectroscopy of Biological Molecules
$169.00
Political Economy, Power and the Body
$84.99
Machine Learning for Networking
$44.99
Justizvollzug & Pdagogik: Tradition und Herausforderung
$34.99
General Theory of Knowledge
$109.99
Indoor Environmental Quality
$199.99
Analog Design for CMOS VLSI Systems
$169.00
Pathways in Crime
$54.99
Plurality and Quantification
$169.99
Information, Photonics and Communication
$169.00
Floating Exchange Rates and World Inflation
$84.99
Artificial Intelligence: Its Scope and Limits
$249.99
Contested Landscapes of Poverty and Homelessness In Southern Europe
$54.99
Marktmacht und Marktmachtmessung im deutschen Grohandelsmarkt fr Strom
$64.99
Rights, Rivers and the Quest for Water Commons: The Case of Bangladesh
$64.99
Studien zur Wechselkursunion
$59.99
Capital Market Instruments
$159.99
Rohrleitungen
$54.99
From A to Z with Energy!
$5.21
Transactions on Petri Nets and Other Models of Concurrency XV
$39.99
Capitalist Discipline
$84.99
Fungi Associated with Pandanaceae
$219.99
Branching Processes
$109.99
Soldering Handbook For Printed Circuits and Surface Mounting
$219.99
Hommel interaktiv Update Einzelplatzversion 20.0 auf 21.0
$1,009.00
Illustrated Handbook of Succulent Plants: Aizoaceae F-Z
$169.99
Advanced Computing
$99.99
Tadpole - Let's Go: Trains
$5.21
Demokratie im Alltag
$49.99
Psychotrauma
$59.99
Literature 1978, Part 1
$54.99
