Pages that link to "Item:Q1996426"
From MaRDI portal
The following pages link to Formal analysis of the compact position reporting algorithm (Q1996426):
Displaying 3 items.
- A formal analysis of the compact position reporting algorithm (Q1630022) (← links)
- A formally verified floating-point implementation of the compact position reporting algorithm (Q2024357) (← links)
- Formal Verification of an Optimal Air Traffic Conflict Resolution and Recovery Algorithm (Q3612661) (← links)