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
|