Методы исследования свойств высокопроизводительных инфраструктур. Обзор

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.accessioned2015-10-14T08:02:47Z
dc.date.available2015-10-14T08:02:47Z
dc.date.issued2015
dc.description.abstractПредставлен аналитический обзор современных методов верификации программного обеспечения параллельных и распределенных систем. Описаны методы верификации на основе исследования свойств конечных автоматов, сетей Петри и транзиционных систем.uk_UA
dc.description.abstractПредставлено аналітичний огляд сучасних методів верифікації програмного забезпечення паралельних та розподілених систем. Описано методи верифікації на основі дослідження властивостей скінченних автоматів, мереж Петрі та транзиційних систем.uk_UA
dc.description.abstractAn 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.issn0130-5395
dc.identifier.udc51.681.3
dc.identifier.urihttps://nasplib.isofts.kiev.ua/handle/123456789/87174
dc.language.isoruuk_UA
dc.publisherМіжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН Україниuk_UA
dc.relation.ispartofУправляющие системы и машины
dc.statuspublished earlieruk_UA
dc.subjectФундаментальные и прикладные проблемы информатики и информационных технологийuk_UA
dc.titleМетоды исследования свойств высокопроизводительных инфраструктур. Обзорuk_UA
dc.title.alternativeMethods for Investigating Properties of High-performance Infrastructures. The reviewuk_UA
dc.typeArticleuk_UA

Файли

Оригінальний контейнер

Зараз показуємо 1 - 1 з 1
Завантаження...
Ескіз
Назва:
01-Boiko.pdf
Розмір:
429.59 KB
Формат:
Adobe Portable Document Format

Контейнер ліцензії

Зараз показуємо 1 - 1 з 1
Завантаження...
Ескіз
Назва:
license.txt
Розмір:
817 B
Формат:
Item-specific license agreed upon to submission
Опис: