Tran Manh Thang, Nguyen Hong Viet, Richard Moore  Home/Search
Context
Related
| unu.edu/newrh/III/1/d...report134.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: unu.edu/newrh/III/1/page (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Flight effectiveness analysis is a process employed by airline companies to assess, and hopefully improve, the effectiveness and the profitability of their flight operations and of related aspects of airline business (for example ticketing and sales activities, market planning, etc.). Essentially, it involves the study and comparison of various aspects of data about flights (the passengers and cargo carried, the aircraft used, the cost involved, the revenue obtained, etc.), from which decisions ... (Update)
Similar documents (at the sentence level):
73.1%: Flight Effectiveness Analysis in Airline Business: A Formal Model - Tran Manh (1998) (Correct)
Active bibliography (related documents): More All
0.0: Integrated Formal Methods - Galloway, Stoddart (1997) (Correct)
0.0: Linking DC together with TRSL - Haxthausen, Yong (1999) (Correct)
0.0: Mathematics for Computer Science - Namsrai (1999) (Correct)
Similar documents based on text: More All
2.2: UNU/IIST Annual Report 1999 - Unu/iist (2000) (Correct)
2.1: UNU/IIST Annual Report 2000 - Unu/iist (2001) (Correct)
2.0: Proving Safety of an Authentication Protocol: A Minimal Approach - George (1999) (Correct)
BibTeX entry: (Update)
@misc{ thang-flight,
author = "Tran Manh Thang and Nguyen Hong Viet and Richard Moore",
title = "Flight Effectiveness Analysis in Airline Business: A Formal Model",
url = "citeseer.ist.psu.edu/article/thang98flight.html" }
Citations (may not include all citations):119 The RAISE Language Group. The RAISE Specification Language (context) - Language, RAISE et al. - 1992
39 The RAISE Method Group. The RAISE Development Method (context) - Method, RAISE et al. - 1995
2 Formal Modelling of Large Domains - Anh, Moore - 1996
Documents on the same site (http://www.iist.unu.edu/newrh/III/1/page.html): More
On Checking Parallel Real-Time Systems for Linear Duration.. - Jianhua, Van Hung (Correct)
Towards a Denotational Semantics of Timed RSL using Duration.. - Li, Jifeng (1999) (Correct)
Formally Describing Intelligent CAD - Bin, George (1999) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC