1. Бритов Г.С. Верификация, валидация и тестирование компьютерных моделей линейных динамических систем // Информационно-управляющие системы. 2013. № 2. C. 75-82.