004
Р69	Романютін, Р. О.     Формальна верифікація потоків робіт управляючих алгоритмів в системах реального часу [Текст] : пояснюв. зап. до диплом. роботи магістра : 8.080403 - комп'ютерні науки, програмне забезп. автоматизованних систем : (робота викон на рос. мові) / М-во освіти і науки України, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т", Каф. інженерії програмного забезп. (№ 603) ; кер. Туркін І. Б. — Х., 2011. — 102 с. + додатки.