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

web address of the page http://jnas.nbuv.gov.ua/article/UJRN-0001369262
  Data recording, storage & processing  Б - 2020  /     Issue (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].

 

Institute of Information Technologies of VNLU

+38 (044) 525-36-24
libnas@nbuv.gov.ua
Ukraine, 03039, Kyiv, Holosiivskyi Ave, 3, room 209