Вы здесь
Проект РФФИ 13-07-00669
Руководитель проекта:
Чистолинов М.В.
Тема проекта:
Средства автоматической проверки темпоральных свойств асинхронных систем взаимодействующих процессов.
ИКРБС: 316031710010
Номер регистрационной карты:
01201356241
Тип проекта:
РФФИ
Номер проекта:
13-07-00669
Период выполнения:
с 2013 по 2015
Статус:
завершен
Категория проекта:
Проекты 2013 года
Проекты 2014 года
Проекты 2015 года
