Интегрированный подход к анализу и верификации спецификаций телекоммуникационных приложений для однопроцессорных и многопроцессорных систем

Начало: 01.01.2011 Конец: 31.12.2011 Координатор проекта: Баранов С. Н. Номер проекта: 11-07-90412