Todd Farley

Publication Activity (10 Years)

Years Active: 2009-2012
Publications (10 Years): 0

Top Topics

Distributed Processing

Top Venues

Publications

Steven J. Landry, Todd Farley, Ty Hoang, Brian Stein
A distributed scheduler for air traffic flow management. J. Sched. 15 (5) (2012)
Todd Farley
Formal Methods Applications in Air Transportation. NASA Formal Methods (2009)