Search academic texts

Information × Registration Number 0413U006135, Candidate dissertation Status к.т.н. Date 03-10-2013 popup.evolution o Title Modelsand methods of synthesis of tests for distributed information systems based on Petri nets Author Wasim Al Sharif Moussa Suhad, popup.head Martynyuk Oleksandr popup.opponent Глухов Валерій Сергійович popup.opponent Кльоц Юрій Павлович Description Дисертація присвячена розробці прикладної інформаційної технології синтезу тестів. Підвищення достовірності функціонування розподілених інформаційних систем (РІС) досягається розвитком аналітичних моделей і методів синтезу тестів. Registration Date 2013-10-03 popup.nrat_date 2020-04-04 Close