"Formal Verification of an UAV autopilot: Static analysis and Verified Code ..."

Baptiste Pollien (2023)

Details and statistics

DOI:

access: closed

type: Book or Thesis

metadata version: 2024-01-24