Θεματικοί όροι: validation, автоматизированная система обслуживания авиапассажиров, валидация, simulation modelling, automated system of air passenger service, verification, имитационное моделирование, GPSS Studio, верификация