For a better viewing experience, please consider updating your browser.

Please upgrade your browser for a better viewing experience.

You are currently using a browser that we no longer support.
Our website features components that only modern browsers support. To ensure that you receive the best experience while visiting the Robert Morris University website, please upgrade your browser to one of our recommended browsers below.

Google Chrome     Firefox     Internet Explorer
Please note: If you are using a version of Internet Explorer greater than IE 7, please ensure that the compatibility mode of your browser is turned off and/or that the document mode is set higher than IE 7.

What we support for Windows: Google Chrome, Mozilla Firefox, Internet Explorer 9+. Find out more about your browser.

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


6001 University Blvd. Moon Township, PA15108 800-762-0097 © 1995 – 2011 Robert Morris University. All rights reserved.