Метод редукции анализируемого пространства поведения при верификации формальных моделей распределенных программных систем / Колчин А. В. (2013)
Ukrainian

інтернет-адреса сторінки: http://jnas.nbuv.gov.ua/article/UJRN-0000357633
  Штучний інтелект  Б - 2021  /     Випуск (2013, № 4)

Колчин А. В.
Метод редукции анализируемого пространства поведения при верификации формальных моделей распределенных программных систем

Бібліографічний опис:
Колчин А. В.  Метод редукции анализируемого пространства поведения при верификации формальных моделей распределенных программных систем. Штучний інтелект. 2013. № 4. С. 113-126. URL: http://jnas.nbuv.gov.ua/article/UJRN-0000357633

English  Artificial intelligence   /     Issue (2013, 4)

Kolchin A. V.
A method for reduction of analyzed behavior space during verification of formal models of distributed software systems

Cite:
Kolchin, A. V. (2013). A method for reduction of analyzed behavior space during verification of formal models of distributed software systems. Artificial intelligence, 4, 113-126. http://jnas.nbuv.gov.ua/article/UJRN-0000357633 [In Russian].

 

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

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