bokomslag NASA Formal Methods
Data & IT

NASA Formal Methods

Nathaniel Benz Divya Gopinath Nija Shi

Pocket

1179:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 438 sidor
  • 2024
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.
  • Författare: Nathaniel Benz, Divya Gopinath, Nija Shi
  • Format: Pocket/Paperback
  • ISBN: 9783031606977
  • Språk: Engelska
  • Antal sidor: 438
  • Utgivningsdatum: 2024-05-28
  • Förlag: Springer International Publishing AG