Dynamical-Network Evaluation and Design Tools for Strategic-to-Tactical Air Traffic Flow Management Submitted by Yan Wan on Thu, 10/31/2013 - 16:13 Transportation Avionics CPS Technologies Architectures Design Automation Tools Systems Engineering Foundations Architectures Concurrency and Timing Modeling Academia