Методы исследования свойств высокопроизводительных инфраструктур. Обзор
dc.contributor.author | Бойко, Ю.В. | |
dc.contributor.author | Глибовец, Н.Н. | |
dc.contributor.author | Ершов, С.В. | |
dc.contributor.author | Крывый, С.Л. | |
dc.contributor.author | Погорилый, С.Д. | |
dc.contributor.author | Ролик, А.И. | |
dc.contributor.author | Теленик, С.Ф. | |
dc.contributor.author | Куляс, А.И. | |
dc.contributor.author | Крак, Ю.В. | |
dc.contributor.author | Ясочка, М.В. | |
dc.date.accessioned | 2015-10-14T08:02:47Z | |
dc.date.available | 2015-10-14T08:02:47Z | |
dc.date.issued | 2015 | |
dc.description.abstract | Представлен аналитический обзор современных методов верификации программного обеспечения параллельных и распределенных систем. Описаны методы верификации на основе исследования свойств конечных автоматов, сетей Петри и транзиционных систем. | uk_UA |
dc.description.abstract | Представлено аналітичний огляд сучасних методів верифікації програмного забезпечення паралельних та розподілених систем. Описано методи верифікації на основі дослідження властивостей скінченних автоматів, мереж Петрі та транзиційних систем. | uk_UA |
dc.description.abstract | An analytical survey of the modern verification methods of reactive and distributed systems is presented. The verification methods founded based on investigation properties of the finite state automata, Petri nets and the transition systems are described. | uk_UA |
dc.identifier.citation | Методы исследования свойств высокопроизводительных инфраструктур. Обзор / Ю.В. Бойко, Н.Н. Глибовец, С.В. Ершов, С.Л. Крывый, С.Д. Погорилый, А.И. Ролик, С.Ф. Теленик, А.И. Куляс, Ю.В. Крак, М.В. Ясочка // Управляющие системы и машины. — 2015. — № 1. — С. 3–13. — Бібліогр.: 16 назв. — рос. | uk_UA |
dc.identifier.issn | 0130-5395 | |
dc.identifier.udc | 51.681.3 | |
dc.identifier.uri | https://nasplib.isofts.kiev.ua/handle/123456789/87174 | |
dc.language.iso | ru | uk_UA |
dc.publisher | Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України | uk_UA |
dc.relation.ispartof | Управляющие системы и машины | |
dc.status | published earlier | uk_UA |
dc.subject | Фундаментальные и прикладные проблемы информатики и информационных технологий | uk_UA |
dc.title | Методы исследования свойств высокопроизводительных инфраструктур. Обзор | uk_UA |
dc.title.alternative | Methods for Investigating Properties of High-performance Infrastructures. The review | uk_UA |
dc.type | Article | uk_UA |
Файли
Оригінальний контейнер
1 - 1 з 1
Контейнер ліцензії
1 - 1 з 1
Завантаження...
- Назва:
- license.txt
- Розмір:
- 817 B
- Формат:
- Item-specific license agreed upon to submission
- Опис: