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: Available to Public   Download Document: Available to Public