Зведений каталог бібліотек Харкова
Васильев, Н. В. Аналитический подход к верификации комплексов взаимодействующих процессов [Текст] / БГТУ "Военмех" им. Д.Ф.Устинова, Санкт-Петербург // Мехатроника, автоматизация, управление. — 2007. — С. 31-35.
- Анотація:
Рассмотрен формальный подход к анализу корректности функционирования системы взаимодействующих процессов, основанной на языке алгебры процессов для задания их поведения.
- Є складовою частиною документа:
Мехатроника, автоматизация, управление. [Текст] // Мехатроника, автоматизация, управление. - М. : Машиностроение. — 2007.
- Теми документа
