Проект РФФИ 13-07-00669

Руководитель проекта:

Чистолинов М.В.

Тема проекта:

Средства автоматической проверки темпоральных свойств асинхронных систем взаимодействующих процессов. ИКРБС: 316031710010

Номер регистрационной карты:

01201356241

Тип проекта:

РФФИ

Номер проекта:

13-07-00669

Период выполнения:

2013 to 2015

Статус:

завершен

Категория проекта:

Проекты 2013 года

Проекты 2014 года

Проекты 2015 года

Events

01 June 2015

The Faculty Site is in the adjustment state. Any comments on the contents and functioning of the site should be addressed to cmcproject@cs.msu.ru.

Все материалы сайта доступны по лицензии Creative Commons Attribution 4.0 International