Інваріанто-орієнтована інформаційна технологія незалежної верифікації програмного забезпечення інформаційно-керуючих систем критичного застосуваня
Від. щодо назв.:
автореф. дис. ... канд. техн. наук : 05.13.06
Відповідальність:
Сергієнко Володимир Володимирович ; М-во освіти і науки, молоді та спорту України ; Нац. аерокосмічний ун-т ім. М.Є. Жуковського "Харк. авіаційний ін-т"