A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Using a Formal Description Technique to Model Aspects of a Global Air Traffic Telecommunications Network
[chapter]
1997
Formal Description Techniques and Protocol Specification, Testing and Verification
Aspects of a draft version of the Aeronautical Telecommunications Network (ATN) Standards and Recommended Practices (SARPs) under development by !SO-compliant committees of the International Civil Aviation Organization (ICAO) have been mathematically modelled using a formal description technique. The A TN SARPs are a specification for a global telecommunications network for air traffic control systems. A version of Harel's statecharts formalism embedded within a machine readable typed predicate
doi:10.1007/978-0-387-35271-8_26
fatcat:ycyckzfpoff47he6ousgrkytwm