Формальные методы анализа дискретных систем с использованием языка спецификаций / Крывый С. Л., Чугаенко А. В. (2009)
Ukrainian

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

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

Описано реалізацію алгоритму переведення набору діаграм MSC (документа MSC) в подійно еквівалентну йому мережу Петрі, наведено доказ коректності зазначеного алгоритму. Мережа, що одержана таким чином, може використовуватися для аналізу властивостей вихідного документа MSC. Наведений алгоритм є складовою частиною системи аналізу та верифікації документів MSC.

Бібліографічний опис:
Крывый С. Л., Чугаенко А. В. Формальные методы анализа дискретных систем с использованием языка спецификаций. Кибернетика и системный анализ. 2009. Т. 45, № 4. С. 31-48. URL: http://jnas.nbuv.gov.ua/article/UJRN-0000467690

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

translit Transliteration

Kryvyj S. L., Chugaenko A. V.
Formalnye metody analiza diskretnykh sistem s ispolzovaniem jazyka spetsifikatsij

Cite:
Kryvyj, S. L., Chugaenko, A. V. (2009). Formalnye metody analiza diskretnykh sistem s ispolzovaniem jazyka spetsifikatsij. Cybernetics and Systems Analysis, 45 (4), 31-48 http://jnas.nbuv.gov.ua/article/UJRN-0000467690 [In Russian].

 

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

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