|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Материалы Международной научно-практической конференции "Инструменты и методы анализа программ"сборник
- Год издания: 2013
- Место издания: Костромской государственный технологический университет Кострома
- Добавил в систему: Ушаков Владимир Георгиевич
Статьи, опубликованные в сборнике
-
- 2013 Верификация программно-конфигурируемых сетей при помощи системы UPPAAL
- Подымов В.В., Попеско У.В.
- в сборнике Материалы Международной научно-практической конференции "Инструменты и методы анализа программ", место издания Костромской государственный технологический университет Кострома, с. 59-70