Pages that link to "Item:Q3612661"
From MaRDI portal
The following pages link to Formal Verification of an Optimal Air Traffic Conflict Resolution and Recovery Algorithm (Q3612661):
Displaying 5 items.
- Formal testing for separation assurance (Q434444) (← links)
- Provably correct conflict prevention bands algorithms (Q436402) (← links)
- A formal analysis of the compact position reporting algorithm (Q1630022) (← links)
- Formal analysis of the compact position reporting algorithm (Q1996426) (← links)
- Affine Arithmetic and Applications to Real-Number Proving (Q2945641) (← links)