NASA Formal Methods: 13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings: 12673 (Lecture Notes in Computer Science, 12673) - Image 1

£63.99

Springer NASA Formal Methods: 13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings: 12673 (Lecture Notes in Computer Science, 12673)

Name: NASA Formal Methods: 13th International Symposium, NFM 2021, Virtual Event, May 24-28, 2021, Proceedings: 12673 (Lecture Notes in Computer Science, 12673)
Brand: Springer
Price: 68.35 GBP
Availability: InStock

AI & Machine Learning

Price History & Forecast

Last 41 days • 41 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 41 days • 3 price levels

Days at Price

Current Price

Price Analysis

Most common price: £67 (36 days, 87.8%)

Price range: £64 - £68

Price levels: 3 different prices over 41 days

Description

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.

Product Specifications

Brand: Springer
Format: Paperback
ASIN: 3030763838
Category: Books > Subjects > Computing & Internet > Computer Science > AI & Machine Learning
Domain: Amazon UK
Release Date: 17 May 2021
Listed Since: 15 August 2020

Barcode

No barcode data available

Springer NASA Formal Methods: 13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings: 12673 (Lecture Notes in Computer Science, 12673)

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings: 12229 (Lecture Notes in Computer Science, 12229)

NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings: 11460 (Lecture Notes in Computer Science, 11460)

Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings: 13047 (Lecture Notes in Computer Science, 13047)

Formal Methods for Safety and Security: Case Studies for Aerospace Applications

Formal Methods: Foundations and Applications: 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 ― December 1, 2017, Proceedings: 10623 (Lecture Notes in Computer Science, 10623)

Proceedings of 2021 Chinese Intelligent Systems Conference: Volume I: 803 (Lecture Notes in Electrical Engineering, 803)

Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems (NASA Monographs in Systems and Software Engineering)

Formal Methods: Foundations and Applications: 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings: 11254 (Lecture Notes in Computer Science, 11254)

Computational Science – ICCS 2021: 21st International Conference, Krakow, Poland, June 16–18, 2021, Proceedings, Part II: 12743 (Lecture Notes in Computer Science, 12743)

Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Applications (ACM Books)

FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings: 8442 (Lecture Notes in Computer Science, 8442)

Formal Methods for Industrial Critical Systems: A Survey of Applications

Springer AI in Intelligent Systems - Computer Science Vol. 2

Software Engineering and Algorithms: Proceedings of 10th Computer Science On-line Conference 2021, Vol. 1: 230 (Lecture Notes in Networks and Systems, 230)

Research Challenges in Modeling and Simulation for Engineering Complex Systems (Simulation Foundations, Methods and Applications)

Computational Science – ICCS 2021: 21st International Conference, Krakow, Poland, June 16–18, 2021, Proceedings, Part I: 12742 (Lecture Notes in Computer Science, 12742)

Unmanned Aerial Vehicles

Proceedings of the 27th International Conference on Systems Engineering, ICSEng 2020: 182 (Lecture Notes in Networks and Systems, 182)

Springer - Formal Methods and Models for System Design Book

Financial Cryptography and Data Security: 25th International Conference, FC 2021, Virtual Event, March 1–5, 2021, Revised Selected Papers, Part I: 12674 (Lecture Notes in Computer Science, 12674)

Proceedings of the Future Technologies Conference (FTC) 2021, Volume 2: 359 (Lecture Notes in Networks and Systems, 359)

Proceedings of the Future Technologies Conference (FTC) 2021, Volume 3: 360 (Lecture Notes in Networks and Systems, 360)

Network and System Security: 15th International Conference, NSS 2021, Tianjin, China, October 23, 2021, Proceedings: 13041 (Lecture Notes in Computer Science, 13041)

Proceedings of 2021 Chinese Intelligent Systems Conference: Volume II: 804 (Lecture Notes in Electrical Engineering, 804)