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
Poverty, Development and Food
$59.99
Machine Learning and Knowledge Discovery in Databases
$84.99
Turkish Jews and their Diasporas
$159.99
The Historical Turn in Analytic Philosophy
$84.99
Models and Algorithms of Time-Dependent Scheduling
$169.99
Cosas rojas!
$3.71
Data Warehousing
$84.99
Der Felsbau, Band 1, Theoretischer Teil
$79.99
National Systems of Innovation
$109.99
Generators and Relations for Discrete Groups
$89.99
Machine Learning for Evolution Strategies
$109.99
Unendliche Deutungen
$34.99
Hardy Classes on Riemann Surfaces
$29.99
Ambient Intelligence Software and Applications ,10th International Symposium on Ambient Intellige
$84.99
Strategy for Development
$39.99
Error, Ambiguity, and Creativity
$54.99
Prfungsfragen Psychotherapie
$39.99
Greening Society
$109.99
Moralizing International Relations
$54.99
Citizen Empowerment and Innovation in the Data-Rich City
$129.00
Language Policy and Economics: The Language Question in Africa
$54.99
Prehistory
$74.99
Die Digitale Kluft
$44.99
Intelligent Systems: Safety, Reliability and Maintainability Issues
$84.99
Continental-Crust Structures on the Continental Margin of Western North America
$39.99
Conscience: An Interdisciplinary View
$169.99
Lymphoma and Leukemia of the Nervous System
$169.99
Ion Implantation in Semiconductors
$84.99
Analysis and Correctness of Algebraic Graph and Model Transformations
$39.99
Dictyostelium discoideum
$169.00
Therapeutic Rhodium Complexes
$39.99
Sensing the Nation's Law
$129.00
Hartley Coleridge
$54.99
Global Sourcing of Business and IT Services
$54.99
Human Language Technology. Challenges for Computer Science and Linguistics
$54.99
Einfhrung in die Theorie der elektrischen Maschinen II
$84.99
Lake Taihu, China
$129.00
An Introduction to the Confinement Problem
$59.99
I Want to Grow
$21.95
Discrimination, Challenge and Response
$84.99
