飞机订票系统 meaning in English

airline reservation system
instamatic system

Formal specification and verification of air - ticket reservation systems using pvs
的飞机订票系统的形式化描述与验证
Pertaining to software that has been particularly designed and written for an application ( as contrasted , for example , to a program from an application package or provided on rom )
用来修饰说明某种应用软件，其中每一输入都会从系统或程序那里得到响应。如查询系统、飞机订票系统。一个交互系统也可以是会话式的，即用户和系统之间的连续对话。
Pertaining to an application in which each entry calls forth a response from a system or program , as in an inquiry system or an airline reservation system . an interactive system may also be conversational , implying a continuous dialog between the user and the system
用来修饰说明某种应用软件，其中每一输入都会从系统或程序那里得到响应。如查询系统、飞机订票系统。一个交互系统也可以是会话式的，即用户和系统之间的连续对话。