Formal Verification of a Conflict Resolution and Recovery Algorithm

by National Aeronaut Administration (Nasa)

0 ratings • 0 reviews • 0 shelved
Book cover for Formal Verification of a Conflict Resolution and Recovery Algorithm
Shelve It

Bookhype may earn a small commission from qualifying purchases. Full disclosure.

  • ISBN13 9798676371876
  • Publish Date 21 August 2020
  • Publish Status Temporarily Withdrawn
  • Imprint Independently Published
  • Format Paperback (US Trade)
  • Pages 82
  • Language English