|
Комбинированное средство верификации вычислительных систем реального времени [Текст] / Д. Ю. Волканов, В. А. Захаров, Д. А. Зорин, В. В. Подымов // Программирование. – 2015. – № 6. – С. 72-86.
Описано комбинированное средство верификации распределенных вычислительных систем реального времмени ( РВС РВ ). Для описания РВС РВ
используется универсальный язык моделирования UML. |