| dc.contributor.author | Михнич, Б.Б. | |
| dc.contributor.author | Симон, В.Г. | |
| dc.date.accessioned | 2023-01-03T10:57:02Z | |
| dc.date.available | 2023-01-03T10:57:02Z | |
| dc.date.issued | 2009 | |
| dc.identifier.citation | Михнич, Б. Б. Формальная верификация динамически модифицируемых моделей рабочих потоков Windows Workflow Foundation / Б. Б. Михнич, В. Г. Симон // Радіоелектронні і комп'ютерні системи. – 2009. – № 6. – С. 139–142. | uk_UA |
| dc.identifier.issn | 1814-4225 | |
| dc.identifier.uri | http://dspace.library.khai.edu/xmlui/handle/123456789/3539 | |
| dc.description.abstract | Рассматривается механизм верификации рабочих потоков приложений, построенных по спецификации Windows Workflow Foundation и способных изменять бизнес-логику на этапе выполнения. | uk_UA |
| dc.description.abstract | Розглядається механізм верифікації робочих потоків додатків, побудованих за специфікацією Windows Workflow Foundation та здатних змінювати бізнес-логіку на етапі виконання. | uk_UA |
| dc.language.iso | ru | uk_UA |
| dc.publisher | ХАІ | uk_UA |
| dc.subject | радиоэлектронные и компьютерные системы | uk_UA |
| dc.subject | сети Петри | uk_UA |
| dc.subject | Windows Workflow Foundation | uk_UA |
| dc.subject | рабочий поток | uk_UA |
| dc.subject | верификация | uk_UA |
| dc.subject | радіоелектронні і комп'ютерні системи | uk_UA |
| dc.subject | мережі Петрі | uk_UA |
| dc.subject | робочий потік | uk_UA |
| dc.subject | верифікація | uk_UA |
| dc.title | Формальная верификация динамически модифицируемых моделей рабочих потоков Windows Workflow Foundation | uk_UA |
| dc.type | Article | uk_UA |
