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

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

Колчин А. В., Летичевский А. А., Потиенко С. В., Песчаненко В. С.
Обзор современных систем и методов верификации формальных моделей

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

English  Problems in programming   /     Issue (2012, 4)

translit Transliteration

Kolchin A. V., Letichevskij A. A., Potienko S. V., Peschanenko V. S.
Obzor sovremennykh sistem i metodov verifikatsii formalnykh modelej

Cite:
Kolchin, A. V., Letichevskij, A. A., Potienko, S. V., Peschanenko, V. S. (2012). Obzor sovremennykh sistem i metodov verifikatsii formalnykh modelej. Problems in programming, 4, 75-88 http://jnas.nbuv.gov.ua/article/UJRN-0000048213 [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