Верификация спецификаций в языке L относительно темпоральных свойств, не выразимых в этом языке / Чеботарев А. Н. (2009)
Ukrainian

інтернет-адреса сторінки: http://jnas.nbuv.gov.ua/article/UJRN-0000467727
  Кибернетика и системный анализ      А - 2019  /     Випуск (2009, Т. 45, № 5)

Чеботарев А. Н.
Верификация спецификаций в языке L относительно темпоральных свойств, не выразимых в этом языке

Бібліографічний опис:
Чеботарев А. Н.  Верификация спецификаций в языке L относительно темпоральных свойств, не выразимых в этом языке. Кибернетика и системный анализ. 2009. Т. 45, № 5. С. 3-12. URL: http://jnas.nbuv.gov.ua/article/UJRN-0000467727

English  Cybernetics and Systems Analysis   /     Issue (2009, 45 (5))

translit Transliteration

Chebotarev A. N.
Verifikatsija spetsifikatsij v jazyke L otnositelno temporalnykh svojstv, ne vyrazimykh v etom jazyke

Cite:
Chebotarev, A. N. (2009). Verifikatsija spetsifikatsij v jazyke L otnositelno temporalnykh svojstv, ne vyrazimykh v etom jazyke. Cybernetics and Systems Analysis, 45 (5), 3-12 http://jnas.nbuv.gov.ua/article/UJRN-0000467727 [In Russian].

 

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

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