ВАЛИДАЦИЯ ПРОТОКОЛОВ РАСПРЕДЕЛЁННЫХ СИСТЕМ, ПРЕДСТАВЛЕННЫХ КОНЕЧНО - АВТОМАТНОЙ МОДЕЛЬЮ

Копылова, А.И., Севастопольский национальный технический университет; Апраксин, Ю.К., проф., д-р техн. наук, Севастопольский национальный технический университет

Главная
→
Вестник СевГТУ. Автоматизация процессов и управление
→
2012 (Выпуск 125)
→
Просмотр элемента

dc.contributor.author	Апраксин, Ю.К., проф., д-р техн. наук, Севастопольский национальный технический университет
dc.contributor.author	Копылова, А.И., Севастопольский национальный технический университет
dc.date.accessioned	2012-06-13T08:47:11Z
dc.date.available	2012-06-13T08:47:11Z
dc.date.issued	2012
dc.identifier.citation	Вестник СевГТУ. — Севастополь: Изд-во СевНТУ, 2012. — Вып. 125: Автоматизация процессов и управление.- С.28-31	en_US, ru, uk
dc.identifier.uri	http://hdl.handle.net/123456789/5169
dc.description	Автоматизация процессов и управление	en_US, ru, uk
dc.description.abstract	Предлагается подход к валидации протоколов распределённых систем, представленных конечно-автоматной моделью. В качестве метода контроля корректного функционирования системы выбран анализ дерева достижимых глобальных состояний.	en_US, ru, uk
dc.publisher	Севастопольский национальный технический университет	en_US, ru, uk
dc.subject	валидация	en_US, ru, uk
dc.subject	распределённая система	en_US, ru, uk
dc.subject	дерево достижимых глобальных состояний	en_US, ru, uk
dc.subject	конечный автомат	en_US, ru, uk
dc.title	ВАЛИДАЦИЯ ПРОТОКОЛОВ РАСПРЕДЕЛЁННЫХ СИСТЕМ, ПРЕДСТАВЛЕННЫХ КОНЕЧНО - АВТОМАТНОЙ МОДЕЛЬЮ	en_US, ru, uk