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

Интегрированный подход к анализу и верификации спецификаций телекоммуникационных приложений для однопроцессорных и многопроцессорных систем
Начало: 01.01.2011 Конец: 31.12.2011 Координатор проекта: Баранов С. Н. Подразделение в СПбПУ: Научно-образовательный центр "Безопасность информационно-телекоммуникационных систем"(НОЦ "БИТКС") Номер проекта: 11-07-90412