Works matching DE "AIRPLANE collision avoidance software"
Results: 4
TCAS software verification using constraint programming.
- Published in:
- Knowledge Engineering Review, 2012, v. 27, n. 3, p. 343, doi. 10.1017/S0269888912000252
- By:
- Publication type:
- Article
Probabilistic verification and synthesis of the next generation airborne collision avoidance system.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2016, v. 18, n. 2, p. 227, doi. 10.1007/s10009-015-0388-8
- By:
- Publication type:
- Article
THREE DIMENSIONAL FLASH LADAR FOCAL PLANES AND TIME DEPENDENT IMAGING.
- Published in:
- International Journal of High Speed Electronics & Systems, 2008, v. 18, n. 2, p. 401, doi. 10.1142/S0129156408005436
- By:
- Publication type:
- Article
Benefits of Imperfect Conflict Resolution Advisory Aids for Future Air Traffic Control.
- Published in:
- 2016
- By:
- Publication type:
- journal article