DMCA

High-level modeling and analysis of the traffic alert and collision avoidance system (2000)

by Carolos Livadas , John Lygeros , Nancy A. Lynch
Venue:TCAS). Proceedings of the IEEE
Citations:18 - 5 self