Застосування логіки предикатів для верифікації артефактів кіберзахисту під час проєктування систем критичного призначення / Давидюк А. В., Зубок В. Ю. (2021)
Ukrainian

інтернет-адреса сторінки: http://jnas.nbuv.gov.ua/article/UJRN-0001369262
  Реєстрація, зберігання і обробка даних  Б - 2020  /     Випуск (2021, Т. 23, № 4)

Давидюк А. В., Зубок В. Ю.
Застосування логіки предикатів для верифікації артефактів кіберзахисту під час проєктування систем критичного призначення

Бібліографічний опис:
Давидюк А. В., Зубок В. Ю. Застосування логіки предикатів для верифікації артефактів кіберзахисту під час проєктування систем критичного призначення. Реєстрація, зберігання і обробка даних. 2021. Т. 23, № 4. С. 37–46. URL: http://jnas.nbuv.gov.ua/article/UJRN-0001369262

English  Data recording, storage & processing   /     Issue (2021, 23 (4))

Davydiuk A. V., Zubok V. Yu.
Applying the predicate logic for cyber security artifacts verification in design of the critical purpose systems

Cite:
Davydiuk, A. V., Zubok, V. Yu. (2021). Applying the predicate logic for cyber security artifacts verification in design of the critical purpose systems. Data recording, storage & processing, 23 (4), 37–46. http://jnas.nbuv.gov.ua/article/UJRN-0001369262 [In Ukrainian].

 

Інститут інформаційних технологій НБУВ

+38 (044) 525-36-24
libnas@nbuv.gov.ua
Голосіївський просп., 3, к. 209
м. Київ, 03039, Україна