Faculty Publications, Working Papers
RMU Research #: | 31835 |
Title: | FAA En Route Resectorization – A Formal Specification |
Author/PI: | Valerie J Powell; Patrick R. H. Place, SEI, CMU |
Date(s): | 09/16/1999 |
Category: | Computer Information Systems |
Type: | Working Paper |
Description: | This report presents a formal specification of the resectorization function of an ARTCC. A subset of the functionality has been chosen to illustrate the use of formal specification techniques. Discussion of extensions to the specification to model more of the system concludes the report. |
Related Site: | http://www-2.cs.cmu.edu/afs/cs/academic/class/17651-f01/www/refs/HP99.pdf |
Document: | Download Document: Available to Public |