NASA Formal Methods 1
Kommande
bokomslag NASA Formal Methods
Data & IT

NASA Formal Methods

Aaron Dutle • Laura Humphrey • Laura Titolo

Pocket

2709:-

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

  • 431 sidor
  • 2025
This book constitutes the proceedings of the 17th International Symposium on NASA Formal Methods, NFM 2025, held in Hampton Roads, VA, USA in June 2025. The 20 full papers and 4 short papers presented in the proceedings were carefully reviewed and selected from 74 submissions. They focus on formal techniques for software and system assurance for applications in space, aviation, robotics, and other NASA-relevant critical systems.
  • Författare: Aaron Dutle, Laura Humphrey, Laura Titolo
  • Format: Pocket/Paperback
  • ISBN: 9783031937057
  • Språk: Engelska
  • Antal sidor: 431
  • Utgivningsdatum: 2025-06-25
  • Förlag: Springer International Publishing AG

Du kanske gillar

  1. bokomslag NASA Formal Methods

    NASA Formal Methods

    Aaron Dutle, Mariano M Moscato, Laura Titolo, César A Muñoz, Ivan Perez

    Pocket

    1229:-
  2. bokomslag NASA Formal Methods

    NASA Formal Methods

    Aaron Dutle, César Muñoz, Anthony Narkawicz

    Pocket

    749:-
  3. bokomslag Engineering Trustworthy Software Systems

    Engineering Trustworthy Software Systems

    Jonathan P Bowen, Zhiming Liu, Zili Zhang

    Pocket

    859:-
  4. bokomslag Tools and Algorithms for the Construction and Analysis of Systems

    Tools and Algorithms for the Construc...

    Cesare Tinelli Christel Baier

    Pocket

    749:-
  5. bokomslag NASA Formal Methods

    NASA Formal Methods

    Oksana Tkachuk Sanjai Rayadurgam

    Pocket

    969:-
  6. bokomslag Formal Methods: Foundations and Applications

    Formal Methods: Foundations and Appli...

    José Fiadeiro Simone Cavalheiro

    Pocket

    969:-
  7. bokomslag NASA Formal Methods

    NASA Formal Methods

    Jyotirmoy V Deshmukh, Klaus Havelund, Ivan Perez

    Pocket

    1859:-
  8. bokomslag NASA Formal Methods

    NASA Formal Methods

    Mihaela Bobaru, Klaus Havelund, Gerard Holzmann, Rajeev Joshi

    Pocket

    749:-
  9. bokomslag NASA Formal Methods

    NASA Formal Methods

    Nathaniel Benz, Divya Gopinath, Nija Shi

    Pocket

    1789:-
  10. bokomslag NASA Formal Methods

    NASA Formal Methods

    Clark Barrett, Misty Davies, Temesghen Kahsai

    Pocket

    749:-

Andra av samma författare

  1. bokomslag Formal Methods for Industrial Critical Systems

    Formal Methods for Industrial Critica...

    Laura Titolo Alessandro Cimatti

    Pocket

    929:-