Fr. 168.00

Divya Gopinath, Nathaniel Benz, Divya Gopinath, Shi, Nija Shi

NASA Formal Methods - 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedings

English · Paperback / Softback

Shipping usually within 1 to 2 weeks (title will be printed to order)

Description

This LNCS 14627 conference volume constitutes the proceedings of the 16th International Symposium on NASA Formal Methods, NFM 2024, held in Moffett Field, CA, USA in June 2024. The 20 full papers together with 6 short papers included in this volume were carefully reviewed and selected from 68 submissions.
The conference focuses on the on formal techniques for software and system assurance for applications in space, aviation, robotics, and other NASA-relevant safety-critical systems.

Product details

Authors	Divya Gopinath
Assisted by	Nathaniel Benz (Editor), Divya Gopinath (Editor), Shi (Editor), Nija Shi (Editor)
Publisher	Springer, Berlin

Languages	English
Product format	Paperback / Softback
Released	04.08.2024

EAN	9783031606977
ISBN	978-3-0-3160697-7
No. of pages	438
Dimensions	155 mm x 25 mm x 235 mm
Weight	698 g
Illustrations	XXIII, 438 p. 89 illus., 61 illus. in color.
Series	Lecture Notes in Computer Science
Subject	Natural sciences, medicine, IT, technology > IT, data processing > IT

Customer reviews

No reviews have been written for this item yet. Write the first review and be helpful to other users when they decide on a purchase.