共 9 条
[1]
Baruwa OT, 2015, INT J PRODUCTION RES
[2]
Hagen G, NASATM2015000000 LAN
[3]
ICAO, 2006, 9863 ICAO
[4]
Analysis of induced Traffic Alert and Collision Avoidance System collisions in unsegregated airspace using a Colored Petri Net model
[J].
SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL,
2015, 91 (03)
:233-248
[6]
Kochenderfer Mykel J., 2012, Lincoln Laboratory Journal, V19, P17
[8]
Strang Gilbert., 2011, INTRO LINEAR ALGEBRA