Yazar
Anthony Narkawicz
2 cilt bulundu.
Cilt sonuçları
NASA Formal Methods
Aaron Dutle, César Muñoz, Anthony Narkawicz · Springer International Publishing AG
481 sayfa · 2018
System design
State-based implicit coordination and applications
Anthony Joseph Narkawicz · National Aeronautics and Space Administration, Langley Research Center
51 sayfa · 2011
Air traffic control / Algorithms / Coordination / Aircraft safety / Collision avoidance