Using a Formal Description Technique to Model Aspects of a Global Air Traffic Telecommunications Network.

James H. Andrews, Nancy A. Day, Jeffrey J. Joyce

Browse the full FORTE paper archive.