Search


Current filters:
Start a new search
Add filters:

Use filters to refine the search results.


Results 1-10 of 16 (Search time: 0.002 seconds).
Item hits:
Issue DateTitleAuthor(s)
10-Sep-2007Концепція побудови програм створення тестових наборів даних на основі автоматних моделейРайчев, Ігор Едуардович; Василенко, Валерій Андрійович
11-Mar-2004Проблеми оцінювання якості критичних програмних систем при їх сертифікаціїРайчев, Ігор Едуардович; Харченко, Олександр Григорович
2007Оценка достоверности обработки полётной информации в автоматизированных информационно-вычислительных системах обеспечения безопасности полётов.Холявкіна, Тетяна Володимирівна; Віноградов, Микола Анатолійович; Лесная Н.Н.
29-Sep-2006Технологія створення програм генерації тестових наборів даних на базі автоматних моделейРайчев, Ігор Едуардович
3-Oct-2006Концепція побудови моделі якості у використані програмних системРайчев, Ігор Едуардович; Харченко, Олександр Григорович
22-Jan-2006Концепція побудови сертифікаційної моделі якості програмних системРайчев, Ігор Едуардович; Харченко, Олександр Григорович
2009Інтегрована система збору та обробки інформації в розподіленій системі анали за безпекою польотів. Наукові записки українського науково-дослідного інституту зв’язку . Науково-виробничий збірникХолявкіна, Тетяна Володимирівна
18-Nov-2006Застосування моделей якості при сертифікації програмних системРайчев, Ігор Едуардович; Харченко, Олександр Григорович
10-Apr-2009Мониторинг в распределенной системе анализа безопасности полетов.Холявкіна, Тетяна Володимирівна
2009Статистична обробка даних про показники безпеки польотів повітряних суден України.Проблеми інформатизації та управління. Збірник наукових праць. НАУ.Холявкіна, Тетяна Володимирівна; Сукач О.М.