|
| 004 | | Н57 | Неткачова, К. І.
Методи та інформаційна технологія оцінювання функціональної безпеки інформаційно-керуючих систем із використанням формальних нотацій [Текст] : автореф. дис. ... канд. техн. наук : 05.13.06 - інформ. технол. / М-во освіти і науки, молоді та спорту України, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т". — Х., 2013. — 20 с. | |
| | |
|
