Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Using a Formal Description Technique to Model Aspects of a Global Air
 

Summary: Using a Formal Description Technique
to Model Aspects of a Global Air
Traffic Telecommunications Network
J. H. Andrews
N. A. Day
Dept. of Computer Science, University of British Columbia
Vancouver, BC, Canada V6T 1Z4
tel (604)822­3061 fax (604)822­5485
{jandrews, day}@cs.ubc.ca
J. J. Joyce
Hughes Aircraft of Canada Limited
#200 ­ 13575 Commerce Parkway
Richmond, BC, Canada V6V 2L1
tel (604)279­5721 fax (604)279­5982
jjoyce@ccgate.hac.com
Abstract
Aspects of a draft version of the Aeronautical Telecommunications Network
(ATN) Standards and Recommended Practices (SARPs) under development by
ISO­compliant committees of the International Civil Aviation Organization
(ICAO) have been mathematically modelled using a formal description

  

Source: Andrews, Jamie - Department of Computer Science, University of Western Ontario
Day, Nancy - School of Computer Science, University of Waterloo

 

Collections: Computer Technologies and Information Sciences