Новости института


Новости ИСП РАН

12 Октября, 2015

В Москве состоялся пятый Linux Driver Verification Workshop

15-18 сентября 2015 года в Москве состоялся пятый международный семинар Linux Driver Verification посвященный десятой годовщине Центра Верификации ОС Linux. Семинар был организован проф. Александром Петренко (Центр верификации ОС Linux, ИСП РАН, Москва, Россия) и проф. Дирком Бейером (Dirk Beyer, Университет г. Пассау, Германия).

С более подробной информацией можно ознакомиться здесь.


Все новости