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

web address of the page http://jnas.nbuv.gov.ua/article/UJRN-0000048165
  Problems in programming  Б - 2020  /     Issue (2012, № 2-3)

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

Бібліографічний опис:
Колчин А. В.  Оптимизация проверки выполнимости переходов при верификации формальных моделей. Проблеми програмування. 2012. № 2-3. С. 201-210. URL: http://jnas.nbuv.gov.ua/article/UJRN-0000048165

English  Problems in programming   /     Issue (2012, 2-3)

translit Transliteration

Kolchin A. V.
Optimizatsija proverki vypolnimosti perekhodov pri verifikatsii formalnykh modelej

Cite:
Kolchin, A. V. (2012). Optimizatsija proverki vypolnimosti perekhodov pri verifikatsii formalnykh modelej. Problems in programming, 2-3, 201-210 http://jnas.nbuv.gov.ua/article/UJRN-0000048165 [In Russian].

 

Institute of Information Technologies of VNLU

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