Interactive method for cumulative analysis of software formal models behavior / Kolchin A. (2018)
UkrainianEnglish

інтернет-адреса сторінки: http://jnas.nbuv.gov.ua/article/UJRN-0000882046
  Проблеми програмування  Б - 2020  /     Випуск (2018, № 2-3)

Kolchin A.
Interactive method for cumulative analysis of software formal models behavior

Cite:
Kolchin, A. (2018). Interactive method for cumulative analysis of software formal models behavior. Problems in programming, 2-3, 115-123. http://jnas.nbuv.gov.ua/article/UJRN-0000882046

 

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

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