Return to Article Details Method formalization of knowledge about the tasks of air traffic solved in the center of air traffic control Download Download PDF