Гнесюк, Б. А., Супруненко, О. О. (2013) Методи динамічної верифікації програмного коду на основі інтерпретацій мереж Петрі. Восточно-европейский журнал передовых технологий (№ 1/2). с. 24-27.
![[img]](http://eprints.cdu.edu.ua/style/images/fileicons/text.png) |
Text
8926-13328-1-SM.pdf Download (450kB) |
Резюме
Стаття містить опис методів статичної та динамічної верифікації послідовно-паралельного програмного коду на моделі у вигляді управляючої мережі Петрі зі стохастичними елементами, яка будується за деревом розбору. Стаття містить приклад практичної реалізації розглянутих методів.
| Тип елементу : | Стаття |
|---|---|
| Неконтрольовані ключові слова: | динамічна верифікація ; дерево розбору ; мережа Петрі ; стохастичні елементи |
| Теми: | Комп'ютерні науки Комп'ютерні науки |
| Підрозділи: | Факультет обчислювальної техніки, інтелектуальних та управляючих систем |
| Користувач, що депонує: | Наукова Бібліотека |
| Дата внесення: | 12 Лист 2020 07:34 |
| Останні зміни: | 12 Лист 2020 07:51 |
| URI: | https://eprints.cdu.edu.ua/id/eprint/4213 |
Actions (login required)
 |
Перегляд елементу |
