Применение компонентных сетей Петри в задачах верификации параллельных распределённых систем / Лукьянова Е. А. (2014)
Ukrainian

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

Лукьянова Е. А.
Применение компонентных сетей Петри в задачах верификации параллельных распределённых систем

Бібліографічний опис:
Лукьянова Е. А.  Применение компонентных сетей Петри в задачах верификации параллельных распределённых систем. Проблеми програмування. 2014. № 2-3. С. 93-98. URL: http://jnas.nbuv.gov.ua/article/UJRN-0000168903

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

translit Transliteration

Lukjanova E. A.
Primenenie komponentnykh setej Petri v zadachakh verifikatsii parallelnykh raspredeljonnykh sistem

Cite:
Lukjanova, E. A. (2014). Primenenie komponentnykh setej Petri v zadachakh verifikatsii parallelnykh raspredeljonnykh sistem. Problems in programming, 2-3, 93-98 http://jnas.nbuv.gov.ua/article/UJRN-0000168903 [In Russian].

 

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

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