| |
| 2004 | ||
|---|---|---|
| 1 | EE | Pam Binns, Michael Elgersma, Subhabrata Ganguli, Vu Ha, Tariq Samad: Statistical Verification of Two Non-linear Real-time UAV Controllers. IEEE Real-Time and Embedded Technology and Applications Symposium 2004: 341-351 |
| 1 | Pam Binns | [1] |
| 2 | Subhabrata Ganguli | [1] |
| 3 | Vu Ha | [1] |
| 4 | Tariq Samad | [1] |